Francisco Coelho / zugzwang

Name	Last Update	Last Commit 3f5ec5fc – um pequeno teste 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...