diff options
Diffstat (limited to 'readme.md')
| -rw-r--r-- | readme.md | 7 |
1 files changed, 1 insertions, 6 deletions
@@ -110,12 +110,7 @@ bindings are easy to do when backtracking during the depth-first search. #### Credits and Licensing -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. +Written by Jedidiah Barber. Licensed under the Sunset License v1.0. For details see `license.txt`. |