| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 11 days | Proper credit info for mk.scm, mkdefs.scm, uk.scm comparison testing files | Jedidiah Barber | |
| 12 days | Readme updated to note IDDFS use | Jedidiah Barber | |
| 2026-02-06 | Evaluation algorithm changed to inverted interleaved depth first search | Jedidiah Barber | |
| 2026-01-25 | Slight revision to readme | Jedidiah Barber | |
| 2026-01-24 | Unrolled linked lists for State | Jedidiah Barber | |
| 2026-01-22 | States are now custom linked lists | Jedidiah Barber | |
| 2026-01-19 | Readme updated | Jedidiah Barber | |
| 2026-01-19 | Readme added | Jedidiah Barber | |
 |
index : kompsos | |
| Experimental miniKanren implementation | Jed Barber |
| aboutsummaryrefslogtreecommitdiff |