| Tue, 13 Jul 2010 11:17:13 +0100 | kleing | remove separate afp settings again, use plain mac-poly64-M4 instead. | changeset | files |
| Tue, 13 Jul 2010 11:01:12 +0100 | kleing | merged | changeset | files |
| Tue, 13 Jul 2010 11:00:20 +0100 | kleing | new settings for afp test | changeset | files |
| Tue, 13 Jul 2010 12:00:11 +0200 | krauss | Heap_Monad uses Monad_Syntax | changeset | files |
| Tue, 13 Jul 2010 11:50:22 +0200 | krauss | State_Monad uses Monad_Syntax | changeset | files |
| Tue, 13 Jul 2010 00:15:37 +0200 | krauss | uniform do notation for monads | changeset | files |
| Tue, 13 Jul 2010 00:15:37 +0200 | krauss | generic ad-hoc overloading via check/uncheck | changeset | files |