Mon, 04 Apr 2022 22:06:40 +0200 | wenzelm | tuned for scala3; | changeset | files |
Mon, 04 Apr 2022 22:04:20 +0200 | wenzelm | proper indentation (relevant for scala3); | changeset | files |
Sun, 03 Apr 2022 09:07:37 +0000 | haftmann | adjusted printing of type annotations to accomodate Scala 3 | changeset | files |