]>
2011-02-21 | Ferruccio Guidi | we started to set up the strong normalization proof. | tree | commitdiff |
2011-02-10 | Ferruccio Guidi | we added some comments | tree | commitdiff |
2011-02-10 | Andrea Asperti | Added typing rule for dummies | tree | commitdiff |
2011-02-10 | Andrea Asperti | Added lambda | tree | commitdiff |