[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.

   http://www.thenewsh.com/%7Enewsham/formal/reverse/

Feedback is appreciated.

Tim Newsham
http://www.thenewsh.com/~newsham/


More information about the Haskell-Cafe mailing list