summaryrefslogtreecommitdiff
path: root/prettyprint.c
AgeCommit message (Collapse)Author
2021-07-03Start adding support for read_term and write_termPeter Mikkelsen
2021-07-02Remove strings, and add a (currently not changable) flag 'double_quotes' ↵Peter Mikkelsen
which defines how double quoted strings are stored.
2021-06-30Prettyprint lists for realsPeter Mikkelsen
2021-06-30Add builtins for typetestsPeter Mikkelsen
2021-06-30Add backtracking to the evaluator. This means we have to keep track of ↵Peter Mikkelsen
choicepoints which is implemented the easy but wasteful way for now. I have also added a number which is used to differentiate variables from different application of the clauses.
2021-06-29Add a term parser.Peter Mikkelsen