summaryrefslogtreecommitdiff
path: root/minikanren/sequentcalc.scm (unfollow)
Commit message (Expand)AuthorFilesLines
2021-05-22pretty printing formulae for sequence calculusstuebinm1-0/+15
2021-05-19Sequence calculus in miniKanrenstuebinm1-0/+112