The quine generator example is indeed very impressive... Ed Kmett did a live coding series on his attempt port kanren to Haskell. Hope guanxi makes some progr

The quine generator example is indeed very impressive... Ed Kmett did a live coding series on his attempt port kanren to Haskell. Hope guanxi makes some progress soon.