| Branch | Commit message | Author | Age | |
|---|---|---|---|---|
| master | Core rewritten with memoisation, but somehow Zebra example is bugged | Jedidiah Barber | 10 hours | |
| Age | Commit message | Author | ||
| 10 hours | Core rewritten with memoisation, but somehow Zebra example is buggedHEADmaster | Jedidiah Barber | ||
| 5 days | Build switches now incorporate -gnateE | Jedidiah Barber | ||
| 2025-11-23 | Switches out Holders for Controlled component in Term | Jedidiah Barber | ||
| 2025-11-21 | Reordering of declarations to reduce memory usage | Jedidiah Barber | ||
| 2025-11-19 | Zebra problem | Jedidiah Barber | ||
| 2025-11-19 | Added generic to make it easier to abbreviate Fresh | Jedidiah Barber | ||
| 2025-11-19 | Reification, including Term flattening and Treeification | Jedidiah Barber | ||
| 2025-11-18 | Removed Buffer variant Generator | Jedidiah Barber | ||
| 2025-11-17 | Lazy Conjunct should properly work for infinite results now | Jedidiah Barber | ||
| 2025-11-17 | Refactor of Conjunct Generators | Jedidiah Barber | ||
| [...] | ||||
| Clone | ||||
| git://jedbarber.id.au/kompsos | ||||
 |
index : kompsos | |
| Experimental miniKanren implementation | Jed Barber |
| summaryrefslogtreecommitdiff |