core-logic

devn 2018-02-28T02:36:31.000029Z

@cjsauer out of curiosity which version of the reasoned schemer?

cjsauer 2018-02-28T15:56:12.000746Z

@devn this is the first edition text (2005). I noticed that there is a second edition being released soon here (https://mitpress.mit.edu/books/reasoned-schemer-0)