HomeIsabelle/Phabricator

proper syntax of Scala 3;