| Wed, 09 Apr 2008 20:46:44 +0200 | wenzelm | \usepackage[english]{babel} (required for guillemots); | changeset | files |
| Wed, 09 Apr 2008 17:46:17 +0200 | haftmann | renamed mbind to scomp | changeset | files |
| Wed, 09 Apr 2008 08:10:11 +0200 | haftmann | removed syntax from monad combinators; renamed mbind to scomp | changeset | files |
| Wed, 09 Apr 2008 08:10:09 +0200 | haftmann | rudimentary user-syntax for terms | changeset | files |