summaryrefslogtreecommitdiff
path: root/gnu/packages/guile.scm
diff options
context:
space:
mode:
Diffstat (limited to 'gnu/packages/guile.scm')
-rw-r--r--gnu/packages/guile.scm4
1 files changed, 2 insertions, 2 deletions
diff --git a/gnu/packages/guile.scm b/gnu/packages/guile.scm
index d8c1a8ca35a..e85c84aa5ac 100644
--- a/gnu/packages/guile.scm
+++ b/gnu/packages/guile.scm
@@ -457,14 +457,14 @@ http:://json.org specification. These are the main features:
457 (inputs 457 (inputs
458 `(("guile" ,guile-2.0))) 458 `(("guile" ,guile-2.0)))
459 (home-page "https://github.com/ijp/minikanren") 459 (home-page "https://github.com/ijp/minikanren")
460 (synopsis "miniKanren declarative logic system, packaged for Guile") 460 (synopsis "MiniKanren declarative logic system, packaged for Guile")
461 (description 461 (description
462 "MiniKanren is a relational programming extension to the Scheme 462 "MiniKanren is a relational programming extension to the Scheme
463programming Language, written as a smaller version of Kanren suitable for 463programming Language, written as a smaller version of Kanren suitable for
464pedagogical purposes. It is featured in the book, The Reasoned Schemer, 464pedagogical purposes. It is featured in the book, The Reasoned Schemer,
465written by Dan Friedman, William Byrd, and Oleg Kiselyov. 465written by Dan Friedman, William Byrd, and Oleg Kiselyov.
466 466
467This is Ian Price's r6rs packaged version of miniKranen, which deviates 467This is Ian Price's r6rs packaged version of miniKanren, which deviates
468slightly from miniKanren mainline. 468slightly from miniKanren mainline.
469 469
470See http://minikanren.org/ for more on miniKanren generally.") 470See http://minikanren.org/ for more on miniKanren generally.")