| Branch | Commit message | Author | Age | |
|---|---|---|---|---|
| master | Addition and subtraction arithmetic | Jedidiah Barber | 3 days | |
| Age | Commit message | Author | ||
| 3 days | Addition and subtraction arithmeticHEADmaster | Jedidiah Barber | ||
| 5 days | Worlds separated into Goals that run on a State, improvement to unification e... | Jedidiah Barber | ||
| 6 days | Slightly more complete Zebra problem description | Jedidiah Barber | ||
| 6 days | Added missing equality function for Term | Jedidiah Barber | ||
| 6 days | Reduced number of reallocations for conjunct operations | Jedidiah Barber | ||
| 8 days | Fivesix now tests manual recursion using Conjunct as well as the Recurse subp... | Jedidiah Barber | ||
| 8 days | Can now output the basic structural DAG of a World in DOT format | Jedidiah Barber | ||
| 10 days | Core rewritten with memoisation, but somehow Zebra example is bugged | Jedidiah Barber | ||
| 2025-12-10 | Build switches now incorporate -gnateE | Jedidiah Barber | ||
| 2025-11-23 | Switches out Holders for Controlled component in Term | Jedidiah Barber | ||
| [...] | ||||
| Clone | ||||
| git://jedbarber.id.au/kompsos | ||||
 |
index : kompsos | |
| Experimental miniKanren implementation | Jed Barber |
| summaryrefslogtreecommitdiff |