A statically typed embedding of miniKanren in Haskell
Primary LanguageHaskellOtherNOASSERTION
typedKanren
A statically typed embedding of miniKanren in Haskell.