EvanDonahue / SmallKanren
Project infos
| License |
MIT |
| Tags |
|
| Creation date |
2016-03-03 |
| Website |
|
Monticello registration
About SmallKanren
An implementation of microKanren, currently supporting disequality constraints (cKanren) and nominal logic (alphaKanren).
