Tue, 04 Aug 2009 08:34:56 +0200 | bulwahn | adapted predicate compiler for quickcheck generators; added compilation of depth-limited search functions for predicates | file | diff | annotate |
Tue, 04 Aug 2009 08:34:56 +0200 | bulwahn | imported patch generic compilation of predicate compiler with different monads | file | diff | annotate |