typedKanren: Statically Typed Relational Programming with Exhaustive Matching in Haskell
arxiv.org/pdf/2408.03170a fun implementation of *Kanren with nice Haskell interoperability. showcases some fun Haskell featues.
a fun implementation of *Kanren with nice Haskell interoperability. showcases some fun Haskell featues.