A proof-of-concept Kanren-like relational programming language to generate lambda calculus terms. Will implement a lambda-term unification algorithm.
Primary LanguageHaskellOtherNOASSERTION