Mikhail Zakharevich's starred repositories
dotty-examples
Playing with Scala 3 on Windows
typed-formula
Write type safe formulas like in a textbook on mathematics
Playing with Scala 3 on Windows
Write type safe formulas like in a textbook on mathematics