diff options
| -rw-r--r-- | readme.md | 7 |
1 files changed, 6 insertions, 1 deletions
@@ -110,7 +110,12 @@ bindings are easy to do when backtracking during the depth-first search. #### Credits and Licensing -Written by Jedidiah Barber +The `mk.scm` and `mkdefs.scm` files in the `scheme` benchmarking comparison +subdirectory are taken from [simple-miniKanren](https://github.com/miniKanren/simple-miniKanren). +The `uk.scm` file is collected code snippets from the +[2013 microKanren paper](http://webyrd.net/scheme-2013/papers/HemannMuKanren2013.pdf). + +Everything else written by Jedidiah Barber. Licensed under the Sunset License v1.0. For details see `license.txt`. |