summaryrefslogtreecommitdiff
path: root/minikanren/sequentcalc.scm (follow)
Commit message (Collapse)AuthorAgeFilesLines
* pretty printing formulae for sequence calculusstuebinm2021-05-221-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 []).
* Sequence calculus in miniKanrenstuebinm2021-05-191-0/+112
barfing out tautologies for free!