Fri, 20 Jan 2012 09:28:54 +0100 | bulwahn | catching code generation errors in quickcheck-narrowing | changeset | files |
Fri, 20 Jan 2012 09:28:53 +0100 | bulwahn | adding narrowing instance for sets | changeset | files |
Fri, 20 Jan 2012 09:28:52 +0100 | bulwahn | shortened definitions by adding some termify constants | changeset | files |
Fri, 20 Jan 2012 09:28:51 +0100 | bulwahn | tuned | changeset | files |