summaryrefslogtreecommitdiff
path: root/minikanren/sequentcalc.scm (follow)
Commit message (Expand)AuthorAgeFilesLines
* pretty printing formulae for sequence calculusstuebinm2021-05-221-0/+15
* Sequence calculus in miniKanrenstuebinm2021-05-191-0/+112