Dave Nicponski 974ff0fc17 dotty: 0.14.0-RC1 -> 0.20.0-RC1 ...

Update Scala Dotty to latest version.

2019-11-23 18:18:26 -05:00

..

2.10.nix

…

2.11.nix

…

2.12.nix

…

2.13.nix

…

dotty-bare.nix

dotty: 0.14.0-RC1 -> 0.20.0-RC1

2019-11-23 18:18:26 -05:00

dotty.nix

…