In reply to @mathforge

@mathforge @bbarber_ @peterrowlett "The Haskell road to logic, math and programming" (staff.fnwi.uva.nl/d.j.n.vaneijck…) is very good. There seems to be a PDF on Kees Doets' homepage

1 favourite 0 retweets

View this tweet on twitter.com

This tweet as JSON