Philip Zucker

The tutorial suggests editing the cabal file to add dependencies for use with stack. My understanding is that the dependencies are to be added in the package.yaml file and not...

Try Smaller Id Sizes

2

From our conversation: This a possibly silly micro-optimization, but it is easy to try switching from Int64 ids to UInt32 or Int32 ids.

Macro related errors in minikanren

1

I was interested in seeing if I could run [Minikanren](http://minikanren.org/). I understand hygienic macros are still a WIP but I thought I'd share the errors I'm seeing. There isn't much,...

I've been finding PyRes quite intriguing and inspirational. Thanks for writing it! I think it is quite useful as a library if organized in that way. Subjectively, I think it...