Sat, 11 Dec 2021 11:24:48 +0100 | wenzelm | tuned; | changeset | files |
Tue, 07 Dec 2021 22:11:43 +0100 | wenzelm | proper ML types (amending 1aa92bc4d356); | changeset | files |
Tue, 07 Dec 2021 22:04:46 +0100 | wenzelm | proper types for Scala.Fun instances (amending 1aa92bc4d356); | changeset | files |