diff options
| author | Jedidiah Barber <contact@jedbarber.id.au> | 2026-02-10 15:51:40 +1300 |
|---|---|---|
| committer | Jedidiah Barber <contact@jedbarber.id.au> | 2026-02-10 15:51:40 +1300 |
| commit | b23d73cfa76919a726558e51bf0b0f0cc7c1575e (patch) | |
| tree | 46c6f2958c7de3fca6c3459c6ec01ddecc974e3d /readme.md | |
| parent | ad7fc58a7097e19c49cbf4a7c11ae9c0a7086a52 (diff) | |
Proper credit info for mk.scm, mkdefs.scm, uk.scm comparison testing files
Diffstat (limited to 'readme.md')
| -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`. |