diff options
Diffstat (limited to 'gnu/packages/guile.scm')
| -rw-r--r-- | gnu/packages/guile.scm | 4 |
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 |
| 463 | programming Language, written as a smaller version of Kanren suitable for | 463 | programming Language, written as a smaller version of Kanren suitable for |
| 464 | pedagogical purposes. It is featured in the book, The Reasoned Schemer, | 464 | pedagogical purposes. It is featured in the book, The Reasoned Schemer, |
| 465 | written by Dan Friedman, William Byrd, and Oleg Kiselyov. | 465 | written by Dan Friedman, William Byrd, and Oleg Kiselyov. |
| 466 | 466 | ||
| 467 | This is Ian Price's r6rs packaged version of miniKranen, which deviates | 467 | This is Ian Price's r6rs packaged version of miniKanren, which deviates |
| 468 | slightly from miniKanren mainline. | 468 | slightly from miniKanren mainline. |
| 469 | 469 | ||
| 470 | See http://minikanren.org/ for more on miniKanren generally.") | 470 | See http://minikanren.org/ for more on miniKanren generally.") |
