News for hackers. Stuff that matters.
Re:Minikanren – An embedded DSL for logic programming by xitrium on Monday December 17, 2018 @12:10PM (#18700257)
Gentle plug for my literate Haskell implementation that aims to teach the concepts as they are defined: https://github.com/seantalts/hasktrip/blob/master/doc/MicroK...
Re:Minikanren – An embedded DSL for logic programming by gilmi on Monday December 17, 2018 @03:18PM (#18701804)
Hey thanks!