Tiny Karen is an implementation of µKanren, as presented by Hemann and Friedman, in Reason.
(yes, the name is "Tiny Karen")
This repository was archived by the owner on Mar 28, 2023. It is now read-only.
| Name | Name | Last commit date | ||
|---|---|---|---|---|
Tiny Karen is an implementation of µKanren, as presented by Hemann and Friedman, in Reason.
(yes, the name is "Tiny Karen")