Francisco Coelho / zugzwang

Name	Last Update	Last Commit fd035763 – Starting Calls History
..
2009 \| Thesis \| Relational Programming in MiniKanren \| William Byrd.pdf	Loading commit data...
2013 \| muKanren - A Minimal Functional Core \| Hemann.pdf	Loading commit data...
2018 \| The Reasoned Schemer, second edition \| Daniel P. Friedman, William E. Byrd, Oleg Kiselyov, Jason Hemann.pdf	Loading commit data...