dkxxxl / fo-mkanren-to-lf Goto Github PK
View Code? Open in Web Editor NEWThis project forked from gregr/first-order-minikanren
Defunctionalized miniKanren with Universal Quantifier and Implication. Preprint: https://www.cs.toronto.edu/~lczhang/jin_universal2021.pdf
License: MIT License