]>
2018-05-31 | acondolu | Eat was erasing terms from C that made it diverge | blob | commitdiff | raw |
2018-05-31 | acondolu | Bug in mk_app with C | blob | commitdiff | raw | diff to current |
2018-05-31 | acondolu | Fix no_leading_lambdas to account for a step on x on... | blob | commitdiff | raw | diff to current |
2018-05-31 | acondolu | Clean up, improve comments, move functions | blob | commitdiff | raw | diff to current |
2018-05-31 | acondolu | Added check for eta_subterm in `solve' | blob | commitdiff | raw | diff to current |
2018-05-31 | acondolu | Added simple_test.ml | blob | commitdiff | raw | diff to current |
2018-05-31 | acondolu | Moved andrea.ml to simple.ml | blob | commitdiff | raw | diff to current |