- Haskell for all: Equational reasoning at scale http://www.haskellforall.com/2014/07/equational-reasoning-at-scale.html 29 comments haskell
- Haskell for all: Equational reasoning http://www.haskellforall.com/2013/12/equational-reasoning.html 15 comments haskell
- Haskell Equational Reasoning Assistant http://www.haskell.org/haskellwiki/haskell_equational_reasoning_assistant 3 comments programming
- Continued Fractions: Haskell, Equational Reasoning, Property Testing, and Rewrite Rules in Action https://cdsmithus.medium.com/continued-fractions-haskell-equational-reasoning-property-testing-and-rewrite-rules-in-action-77a16d750e3f 15 comments haskell
- Neil Mitchell's Haskell Blog: Refactoring with Equational Reasoning http://neilmitchell.blogspot.com/2015/02/refactoring-with-equational-reasoning.html 17 comments haskell