Wed, 10 Jun 2009 16:22:54 +0200 | haftmann | tuned whitespace | file | diff | annotate |
Wed, 10 Jun 2009 16:10:31 +0200 | haftmann | correct check for instantiatability | file | diff | annotate |
Wed, 10 Jun 2009 15:04:32 +0200 | haftmann | revised interpretation combinator for datatype constructions | file | diff | annotate |
Tue, 09 Jun 2009 22:59:54 +0200 | haftmann | first running version of qc generators for datatypes | file | diff | annotate |
Mon, 08 Jun 2009 08:38:53 +0200 | haftmann | added infrastructure for definitorial construction of generators for datatypes | file | diff | annotate |
Tue, 26 May 2009 17:29:32 +0200 | haftmann | separate module for quickcheck generators | file | diff | annotate |