Fri, 17 Apr 2009 16:41:31 +0200 | haftmann | formal declaration of undefined parameters after class instantiation | changeset | files |
Fri, 17 Apr 2009 16:41:30 +0200 | haftmann | power operation on relations now with syntax ^^ | changeset | files |
Fri, 17 Apr 2009 15:57:26 +0200 | haftmann | separated funpow, relpow from power on monoids | changeset | files |
Fri, 17 Apr 2009 15:14:06 +0200 | haftmann | static compilation of enumeration type | changeset | files |
Fri, 17 Apr 2009 14:29:56 +0200 | haftmann | re-engineering of evaluation conversions | changeset | files |
Fri, 17 Apr 2009 14:29:55 +0200 | haftmann | tuned | changeset | files |
Fri, 17 Apr 2009 14:29:54 +0200 | haftmann | separate channel for Quickcheck evaluations | changeset | files |