| Mon, 26 Sep 2016 07:56:54 +0200 | haftmann | syntactic type class for operation mod named after mod; | changeset | files |
| Mon, 26 Sep 2016 07:56:54 +0200 | haftmann | dropped tautological pattern | changeset | files |
| Mon, 26 Sep 2016 07:56:54 +0200 | haftmann | more warning comments | changeset | files |