Package details of guile-minikanren

MiniKanren is a relational programming extension to the Scheme programming Language, written as a smaller version of Kanren suitable for pedagogical purposes. It is featured in the book, The Reasoned Schemer, written by Dan Friedman, William Byrd, and Oleg Kiselyov.

This is Ian Price's r6rs packaged version of miniKanren, which deviates slightly from miniKanren mainline.

See http://minikanren.org/ for more on miniKanren generally.

There is 1 version available for this package.


Version20150424.e844d85
Defined atgnu/packages/guile-xyz.scm:2092
Symbol nameguile-minikanren
Installation command
guix install guile-minikanren
Homepagehttps://github.com/ijp/minikanren

View package version history.