Fri, 08 Apr 2011 16:31:14 +0200 | bulwahn | splitting exhaustive and full_exhaustive into separate type classes | changeset | files |
Fri, 08 Apr 2011 16:31:14 +0200 | bulwahn | removing duplicate code | changeset | files |
Fri, 08 Apr 2011 16:31:14 +0200 | bulwahn | revisiting mk_equation functions and refactoring them in exhaustive quickcheck | changeset | files |