]>
2011-06-17 | Andrea Asperti | Added a copy of lambdaN to extend the syntax of dummies... | blob | commitdiff | raw |
2011-05-30 | Ferruccio Guidi | basics: some additions | blob | commitdiff | raw | diff to current |
2011-04-28 | Ferruccio Guidi | we uncommented R3 and R4 tu be used in lambda-delta | blob | commitdiff | raw | diff to current |
2011-02-10 | Andrea Asperti | Added lambda | blob | commitdiff | raw | diff to current |
2011-02-09 | Wilmer Ricciotti | enabling destruct defs | blob | commitdiff | raw | diff to current |
2010-12-16 | Andrea Asperti | New version of the library. Several files still do... | blob | commitdiff | raw | diff to current |