summaryrefslogtreecommitdiff
path: root/misc.c
AgeCommit message (Expand)Author
2021-06-30Add backtracking to the evaluator. This means we have to keep track of choice...Peter Mikkelsen
2021-06-30Start work on an evaluator. For now it knows how to unify but doesn't know ho...Peter Mikkelsen
2021-06-29Add a term parser.Peter Mikkelsen