Permalink
Browse files

typo

  • Loading branch information...
1 parent 5864ef0 commit 58ed744b477ae2adb9b413be19a399fec59ad8b1 David Nolen committed Aug 2, 2012
Showing with 1 addition and 1 deletion.
  1. +1 −1 README.md
View
@@ -1,7 +1,7 @@
core.logic
====
-A Logic Programming library for Clojure & ClojureScript. core.logic offers Prolog-like relational programming and constraint logic programming for Clojure. At its heart is an original implementation of miniKanren as described in William Byrd's dissertation [Relational Programming in miniKanren: Techniques, Applications, and Implementations](http://pqdtopen.proquest.com/#abstract?dispub=3380156) as well as the extensions described in [cKanren](http://www.schemeworkshop.org/2011/papers/Alvis2011.pdf)).
+A Logic Programming library for Clojure & ClojureScript. core.logic offers Prolog-like relational programming and constraint logic programming for Clojure. At its heart is an original implementation of miniKanren as described in William Byrd's dissertation [Relational Programming in miniKanren: Techniques, Applications, and Implementations](http://pqdtopen.proquest.com/#abstract?dispub=3380156) as well as the extensions described in [cKanren](http://www.schemeworkshop.org/2011/papers/Alvis2011.pdf).
If you wish to work through [The Reasoned Schemer](http://mitpress.mit.edu/0262562146) with core.logic make sure to look over [this](http://github.com/clojure/core.logic/wiki/Differences-from-The-Reasoned-Schemer) first.

0 comments on commit 58ed744

Please sign in to comment.