| Branch | Commit message | Author | Age | |
|---|---|---|---|---|
| master | Reordering of declarations to reduce memory usage | Jedidiah Barber | 4 days | |
| Age | Commit message | Author | ||
| 4 days | Reordering of declarations to reduce memory usageHEADmaster | Jedidiah Barber | ||
| 6 days | Zebra problem | Jedidiah Barber | ||
| 6 days | Added generic to make it easier to abbreviate Fresh | Jedidiah Barber | ||
| 6 days | Reification, including Term flattening and Treeification | Jedidiah Barber | ||
| 7 days | Removed Buffer variant Generator | Jedidiah Barber | ||
| 8 days | Lazy Conjunct should properly work for infinite results now | Jedidiah Barber | ||
| 8 days | Refactor of Conjunct Generators | Jedidiah Barber | ||
| 9 days | Improvements to Fresh and Take | Jedidiah Barber | ||
| 9 days | Variable counting handled properly on a per-State basis | Jedidiah Barber | ||
| 9 days | Worlds now use Indefinite_Holders for holding themselves | Jedidiah Barber | ||
| [...] | ||||
| Clone | ||||
| git://jedbarber.id.au/kompsos | ||||
 |
index : kompsos | |
| Experimental miniKanren implementation | Jed Barber |
| summaryrefslogtreecommitdiff |