kompsos - Experimental miniKanren implementation

Age	Commit message (Collapse)	Author
6 days	Reification, including Term flattening and Treeification	Jedidiah Barber

8 days	Lazy Conjunct should properly work for infinite results now	Jedidiah Barber

9 days	Variable counting handled properly on a per-State basis	Jedidiah Barber

11 days	Prelude combined into base, lazy Conjunct kinda working but still loops in ↵	Jedidiah Barber
	some circumstances
13 days	Prelude now derives its own World so dot notation works for those subprograms	Jedidiah Barber

13 days	Recursive portions of prelude	Jedidiah Barber