Welcome to the Functional Programming Zulip Chat Archive. You can join the chat here.
I wrote a small piece about implementing μKanren in Haskell. μKanren is a very small logic DSL.
Any and all feedback/criticisms are welcome!
in the third paragraph, you have unformatted code
Thanks! It should be fixed now.