Christopher Allan Webber

My first Guix contribution: guile-minikanren

Christopher Allan Webber at

Since I've been reading The Reasoned Schemer, which uses miniKanren to teach logic/relational programming in Scheme. I wanted to do this in Guile, and I was told that Ian Price made a r6rs / Guile package of miniKanren. I have a nice setup for using Guix on my Debian machine, why not use this as an opportunity to make a Guix package?

Happily, my Guix package of guile-minikanren has been merged! (Thank you @David Thompson for merging it and making some good tweaks!) It's really exhilarating to have something packaged and in Guix so soon after I decided to try, and something I'm already using!

It turned out this package was more complicated than most because it doesn't use a simpler build system (anything doing ./configure && make && make install is apparently more straightforward) but I found it quite doable and enjoyable. I look forward to making more Guix contributions!

Mike Linksvayer, Claes Wallin (韋嘉誠), sirgazil, David Thompson likes this.

Claes Wallin (韋嘉誠), Claes Wallin (韋嘉誠), David Thompson shared this.

congrats :) I think my first trial was not a simple configure, make, and make install either, but I hope to try again

Kete Foy at 2015-04-27T02:28:12Z