Tag

proving methods

An exercise in equational reasoning

This is an exercise found in the very good book of Richard Bird,┬áThinking Functionally with Haskell. It is a good example of how a certain method of thinking can help us to reason about programs in functional programming. The method… Continue Reading →

Share Button

© 2017 — Powered by WordPress

Theme by Anders NorenUp ↑