2 ms·
the Spivey & Seres paper influenced miniKanren, so things are coming full circle here :) Having worked on core.logic in Clojure for quite some time now, I'm cu
by swannodette 13y ago
the Spivey & Seres paper influenced miniKanren, so things are coming full circle here :)
Having worked on core.logic in Clojure for quite some time now, I'm curious to see how far along these ideas get pushed in Haskell.