Francisco Coelho / zugzwang

Name	Last Update	Last Commit b43c061c – rewriting 00_PASP for scholarship project 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...