Embedding a logic programming language in Haskell - General

Welcome to the Functional Programming Zulip Chat Archive. You can join the chat here.

Pedro Minicz

I wrote a small piece about implementing μKanren in Haskell. μKanren is a very small logic DSL.

Pedro Minicz

Any and all feedback/criticisms are welcome!

Torsten Schmits

in the third paragraph, you have unformatted code

Pedro Minicz

Thanks! It should be fixed now.