Starting from the µKanren described in Hemann & Friedman 2013, I mess around a bit.
mml/uKanren
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
| Name | Name | Last commit date | ||
|---|---|---|---|---|
Starting from the µKanren described in Hemann & Friedman 2013, I mess around a bit.