Amazon.com - discu.eu

Reddit

The "Verified Functional Programming in Agda" book is published http://www.amazon.com/verified-functional-programming-aaron-stump/dp/1970001240 13 comments 12/5/2016 haskell

Linking pages

GitHub - williamdemeo/TypeFunc: Resources for type theory, functional programming, etc. https://github.com/williamdemeo/TypeFunc 0 comments

Would you like to stay up to date with Haskell? Checkout Haskell Weekly.

Related searches:

Search whole site: site:www.amazon.com

Search title: Amazon.com

See how to search.

Submit link to: