| Wed, 23 Sep 2009 16:20:12 +0200 | bulwahn | handling of definitions | file | diff | annotate |
| 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 |