@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