Hacker News
- Haskell for all: Equational reasoning http://www.haskellforall.com/2013/12/equational-reasoning.html 15 comments haskell
Linking pages
- Sick of Ruby, dynamic typing, side effects, and basically object-oriented programming - Abe Voelker https://blog.abevoelker.com/sick-of-ruby-dynamic-typing-side-effects-object-oriented-programming/ 962 comments
- Sick of Ruby, dynamic typing, side effects, and basically object-oriented programming - Abe Voelker https://blog.abevoelker.com/sick-of-ruby-dynamic-typing-side-effects-object-oriented-programming/?repost2014= 60 comments
- Reverse-mode automatic differentiation: a tutorial - Rufflewind's Scratchpad https://rufflewind.com/2016-12-30/reverse-mode-automatic-differentiation 0 comments
- Reasoning with more than evaluation - dave^2 = -1 http://www.davesquared.net/2014/07/reasoning-with-more-than-evaluation.html 0 comments
Would you like to stay up to date with Haskell? Checkout Haskell
Weekly.
Related searches:
Search whole site: site:www.haskellforall.com
Search title: Haskell for all: Equational reasoning
See how to search.