~ashton314/microKanren

/ d---------
1430db53 — Ashton Wiersdorf Trying out some type checking with errors 10 months ago
-rw-r--r--
.build.yml
598 bytes
-rw-r--r--
LICENSE
1.0 KiB
-rw-r--r--
README.org
8.0 KiB
-rw-r--r--
access_control.rkt
2.7 KiB
-rw-r--r--
kanren.rkt
6.6 KiB
-rw-r--r--
relations_playground.rkt
1.3 KiB
-rw-r--r--
type_checking.rkt
1.9 KiB
-rw-r--r--
type_checking_with_errors.rkt
1.9 KiB