Fri, 18 Jun 2010 15:03:21 +0200 | haftmann | drop subsumed default equations (requires a little bit unfortunate laziness) | changeset | files |
Fri, 18 Jun 2010 15:03:20 +0200 | haftmann | avoid Scala legacy operations | changeset | files |
Fri, 18 Jun 2010 15:03:20 +0200 | haftmann | prefer fold over foldl | changeset | files |