thereasonedschemer2nded Goto Github PK
Name: The Reasoned Schemer, Second Edition (MIT Press, 2018)
Type: User
Bio: Official code of The Reasoned Schemer, Second Edition by Daniel P. Friedman, William E. Byrd, Oleg Kiselyov, and Jason Hemann (MIT Press, 2018)
Blog: http://minikanren.org/