| Fri, 09 Dec 2011 12:21:01 +0100 | bulwahn | tuned quickcheck's response | changeset | files |
| Fri, 09 Dec 2011 11:31:13 +0100 | noschinl | more systematic lemma name | changeset | files |
| Thu, 08 Dec 2011 13:53:28 +0100 | bulwahn | adding examples for quickcheck narrowing about partial functions | changeset | files |
| Thu, 08 Dec 2011 13:53:27 +0100 | bulwahn | removing special code generator setup for hd and last function because this causes problems with quickcheck narrowing as the Haskell Prelude functions throw errors that cannot be caught instead of PatternFail exceptions | changeset | files |