summaryrefslogtreecommitdiff
path: root/prettyprint.c
AgeCommit message (Expand)Author
2021-06-30Add builtins for typetestsPeter Mikkelsen
2021-06-30Add backtracking to the evaluator. This means we have to keep track of choice...Peter Mikkelsen
2021-06-29Add a term parser.Peter Mikkelsen