A fast implementation of miniKanren with disequality and absento.
Authors | |||||||
---|---|---|---|---|---|---|---|
Documentation | |||||||
Tags | |||||||
License | |||||||
Last updated | Monday, August 28th, 2023 6:46:56pm (UTC) | ||||||
Ring | 2 | ||||||
Conflicts | |||||||
Dependencies | |||||||
Most recent build results |
| ||||||
Version Exceptions |
| ||||||
Last checked | Monday, September 25th, 2023 3:39:31pm (UTC) | ||||||
Last edited | Sunday, September 25th, 2016 4:05:35am (UTC) | ||||||
Date added | N/A | ||||||
Modules |
|