From def3271f150ce66f1781486a2b31326d4fbb5d00 Mon Sep 17 00:00:00 2001 From: "William E. Byrd" Date: Wed, 14 Jan 2015 20:11:28 -0700 Subject: [PATCH] Update README.md --- README.md | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/README.md b/README.md index 12471be..b67ac31 100644 --- a/README.md +++ b/README.md @@ -11,4 +11,6 @@ THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR IMPLI --- -Will's personal version of miniKanren, since he can never find the version he wants. Includes disequality constraints and Aziz's trie-based susbtitutions. [Or at least, will use the trie code once Will integrates the files!] +This version is out of date with respect to the latest symbolic constraints in miniKanren. See 'https://github.com/webyrd/miniKanren-with-symbolic-constraints' for a more recent version. + +Will's *old* personal version of miniKanren, since he can never find the version he wants. Includes disequality constraints and Aziz's trie-based susbtitutions. [Or at least, will use the trie code once Will integrates the files! (which never happened...)]