| Tue, 04 Aug 2009 08:34:56 +0200 | bulwahn | refactoring predicate compiler; added type synonyms and functions split_smode and split_mode | changeset | files |
| Tue, 04 Aug 2009 08:34:56 +0200 | bulwahn | adapted predicate compiler for quickcheck generators; added compilation of depth-limited search functions for predicates | changeset | files |
| Tue, 04 Aug 2009 08:34:56 +0200 | bulwahn | extended mode inference by adding generators; adopted compilation; added some functions for constructing term closures | changeset | files |