Introducing the Haskell equational reasoning assistant.

Andy Gill

Browse the full HASKELL paper archive.