kompsos - Experimental miniKanren implementation

Age	Commit message (Expand)	Author
8 hours	Unrolled linked lists for StateHEAD master	Jedidiah Barber
41 hours	States are now custom linked lists	Jedidiah Barber
3 days	Refactor of evaluation using custom bookkeeping datatype instead of Maps	Jedidiah Barber
5 days	State now uses a Vector instead of a Map	Jedidiah Barber
5 days	Cached results now freed after being used by all possible branches	Jedidiah Barber
6 days	Counter for next available Variable now held by each Goal instead of being gl...	Jedidiah Barber
7 days	Removed free logic Variable tracking in States, removed Fresh_Node and Static...	Jedidiah Barber
7 days	Recurse fixed, caching functions consolidated	Jedidiah Barber
12 days	Removed Nametags and identifier aliasing for Variables	Jedidiah Barber
2026-01-05	Very slight improvement to Unify checks	Jedidiah Barber
2025-12-19	Worlds separated into Goals that run on a State, improvement to unification e...	Jedidiah Barber
2025-12-18	Reduced number of reallocations for conjunct operations	Jedidiah Barber
2025-12-16	Can now output the basic structural DAG of a World in DOT format	Jedidiah Barber
2025-12-14	Core rewritten with memoisation, but somehow Zebra example is bugged	Jedidiah Barber