summaryrefslogtreecommitdiff
path: root/minikanren/sequentcalc.scm (unfollow)
Commit message (Collapse)AuthorFilesLines
2021-05-22pretty printing formulae for sequence calculusstuebinm1-0/+15
problem: minikanren may return a set of constraints, which aren't very obvious for how to pretty-print them (currently they're just displayed as an empty []).
2021-05-19Sequence calculus in miniKanrenstuebinm1-0/+112
barfing out tautologies for free!