Dotty#5

Open

Lasering wants to merge 7 commits intomasterfrom

Commits on Mar 21, 2020

First go at compiling in Dotty.
Lasering
committed

Commits on Sep 20, 2021

Commits on Feb 1, 2022

Update dependencies. Compile with -source:future.
Lasering
committed