| Age | Commit message (Expand) | Author |
|---|---|---|
| 10 days | Proper credit info for mk.scm, mkdefs.scm, uk.scm comparison testing files | Jedidiah Barber |
| 11 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 |