| Age | Commit message (Expand) | Author |
|---|---|---|
| 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 |