Francisco Coelho / zugzwang

Name	Last Update	Last Commit 53b3b48c – Started pre-paper, to arXiv, maybe? 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...