]>
2012-11-26 | Ferruccio Guidi | - lambda: the theory of lift is complete! | blob | commitdiff | raw |
2012-11-23 | Ferruccio Guidi | additions in lift.ma .... | blob | commitdiff | raw | diff to current |
2012-11-23 | Ferruccio Guidi | the theory of substitution is started ... | blob | commitdiff | raw | diff to current |