A book that presents mathematical logic and proof structure using the Haskell functional programming language, and presents Haskell using mathematical logic and proof structure.
Reviews with the most likes.
There are no reviews for this book. Add yours and it'll show up right here!
