From b23d73cfa76919a726558e51bf0b0f0cc7c1575e Mon Sep 17 00:00:00 2001 From: Jedidiah Barber Date: Tue, 10 Feb 2026 15:51:40 +1300 Subject: Proper credit info for mk.scm, mkdefs.scm, uk.scm comparison testing files --- readme.md | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) (limited to 'readme.md') diff --git a/readme.md b/readme.md index e253567..79d58de 100644 --- a/readme.md +++ b/readme.md @@ -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`. -- cgit