[Haskell-cafe] Small proof intro

Tim Newsham newsham at lava.net
Mon Aug 13 22:52:28 EDT 2007

I put together a small intro lesson on proving haskell code using 
quickcheck, equational reasoning and Isabelle/HOL. Its very elementary, 
but might be of interest to some people here.


Feedback is appreciated.

Tim Newsham

More information about the Haskell-Cafe mailing list