Embedding a logic programming language in Haskell - General

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

Home#General
Embedding a logic programming language in Haskell
Pedro Minicz
2020-10-10 18:34:04

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

Pedro Minicz
2020-10-10 18:34:27

Any and all feedback/criticisms are welcome!

Torsten Schmits
2020-10-10 18:40:04

in the third paragraph, you have unformatted code

Pedro Minicz
2020-10-10 19:33:39

Thanks! It should be fixed now.

Powered by Haskell | Questions? Contact srid