]>
2018-05-30 | acondolu | Added check with purification to andrea.ml | blob | commitdiff | raw |
2018-05-30 | acondolu | Moved function, fix indentation, removed parsing of... | blob | commitdiff | raw | diff to current |
2018-05-30 | acondolu | Clean-up step function; move code | blob | commitdiff | raw | diff to current |
2018-05-30 | acondolu | Removed pacman | blob | commitdiff | raw | diff to current |
2018-05-30 | acondolu | Clean up | blob | commitdiff | raw | diff to current |
2018-05-30 | acondolu | get_subterm_with_head_and_args goes under lambdas | blob | commitdiff | raw | diff to current |
2018-05-30 | acondolu | Removed useless `isdiv' flag | blob | commitdiff | raw | diff to current |
2018-05-30 | acondolu | Clean-up to examples. Removed tests. | blob | commitdiff | raw | diff to current |
2018-05-30 | acondolu | Simple algorithm by Andrea | blob | commitdiff | raw | diff to current |