Age | Commit message (Expand) | Author |
---|---|---|
2021-07-05 | First step on modules. Still very very rough. | Peter Mikkelsen |
2021-07-03 | Start adding support for read_term and write_term | Peter Mikkelsen |
2021-07-02 | Remove strings, and add a (currently not changable) flag 'double_quotes' whic... | Peter Mikkelsen |
2021-06-30 | Prettyprint lists for reals | Peter Mikkelsen |
2021-06-30 | Add builtins for typetests | Peter Mikkelsen |
2021-06-30 | Add backtracking to the evaluator. This means we have to keep track of choice... | Peter Mikkelsen |
2021-06-30 | Start work on an evaluator. For now it knows how to unify but doesn't know ho... | Peter Mikkelsen |
2021-06-29 | Add a term parser. | Peter Mikkelsen |