Subject: Small proof intro
Newsgroups: gmane.comp.lang.haskell.cafe
Date: 2007-08-14 02:52:28 GMT (39 weeks, 3 days and 45 minutes ago)
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/