]>
2015-06-25 | Ferruccio Guidi | advances on exportation to prolog | blob | commitdiff | raw |
2015-06-08 | Ferruccio Guidi | exportation to \lambda\delta representation in elpi | blob | commitdiff | raw | diff to current |
2015-02-21 | Ferruccio Guidi | additional commit for version 0.8.2 | blob | commitdiff | raw | diff to current |
2014-11-28 | Ferruccio Guidi | - the disambiguation of unified binders continues | blob | commitdiff | raw | diff to current |
2014-11-10 | Ferruccio Guidi | the commit continues with the support for validation... | blob | commitdiff | raw | diff to current |
2011-09-11 | Ferruccio Guidi | refactoring ... | blob | commitdiff | raw | diff to current |