nixpkgs / dotty - Dotty is a platform to try out new language concepts and compiler technologies for Scala. The focus is mainly on simplification. We remove extraneous syntax (e.g. no XML literals), and try to boil down Scala’s types into a smaller set of more fundamental constructs. The theory behind these constructs is researched in DOT, a calculus for dependent object types.

Homepage - http://dotty.epfl.ch/

License - BSD-3-Clause

Maintainers - karolchmist - Dave Nicponski

Outputs

out (expand/collapse)

Releases

3.1.0 (expand/collapse)
From commit 00460bd6 to 00460bd6
3.0.0 (expand/collapse)
From commit 039e3758 to 039e3758
3.1.0 (expand/collapse)
From commit 00af64ce to 021410c0
3.0.0 (expand/collapse)
From commit 02c142a2 to 00f7e1e8
0.26.0-RC1 (expand/collapse)
From commit 074ef76e to 074ef76e
3.0.0 (expand/collapse)
From commit 04855119 to 07557e3b
0.26.0-RC1 (expand/collapse)
From commit 065a8102 to 065a8102
3.0.0 (expand/collapse)
From commit 044053e2 to 04de1306
0.26.0-RC1 (expand/collapse)
From commit 03582eb6 to 03582eb6
3.0.0 (expand/collapse)
From commit 022465fb to 062e1e59
3.0.0-RC3 (expand/collapse)
From commit 01cc705d to 01cc705d
3.0.0 (expand/collapse)
From commit 031ea812 to 007d723c
3.0.0-RC3 (expand/collapse)
From commit 00a7a0f6 to 00a7a0f6
3.0.0 (expand/collapse)
From commit 0793950a to 07245189
3.0.0-RC3 (expand/collapse)
From commit 035434d8 to 02c595eb
0.26.0-RC1 (expand/collapse)
From commit 03c09257 to 03c09257
3.0.0-RC3 (expand/collapse)
From commit 037e5170 to 075953b7
0.26.0-RC1 (expand/collapse)
From commit 05065605 to 05065605
3.0.0-RC3 (expand/collapse)
From commit 022c5b09 to 01dc2d9c
0.26.0-RC1 (expand/collapse)
From commit 0253c5c2 to 0253c5c2
3.0.0-RC3 (expand/collapse)
From commit 0123d8c4 to 07168414
0.26.0-RC1 (expand/collapse)
From commit 04e9977b to 04e9977b
3.0.0-RC3 (expand/collapse)
From commit 055a145d to 0463f91e
0.26.0-RC1 (expand/collapse)
From commit 06749ba3 to 07484adf
0.23.0-RC1 (expand/collapse)
From commit 05fe6112 to 05fe6112
0.26.0-RC1 (expand/collapse)
From commit 063c756b to 0096eb92
0.23.0-RC1 (expand/collapse)
From commit 00d8c11a to 00d8c11a
0.26.0-RC1 (expand/collapse)
From commit 066544a7 to 03197f94
0.20.0-RC1 (expand/collapse)
From commit 05a16be9 to 05a16be9
0.26.0-RC1 (expand/collapse)
From commit 00eedc07 to 0456d939
0.23.0-RC1 (expand/collapse)
From commit 01ce2551 to 01ce2551
0.26.0-RC1 (expand/collapse)
From commit 07e3aab0 to 002077c0
0.23.0-RC1 (expand/collapse)
From commit 049b68be to 0480361a
0.20.0-RC1 (expand/collapse)
From commit 02b3cac1 to 02b3cac1
0.23.0-RC1 (expand/collapse)
From commit 02af4389 to 008e7e32
0.20.0-RC1 (expand/collapse)
From commit 0218f30a to 03399906
0.14.0-RC1 (expand/collapse)
From commit 0767de3d to 0767de3d
0.20.0-RC1 (expand/collapse)
From commit 0634484a to 00610756
0.14.0-RC1 (expand/collapse)
From commit 036cef94 to 010d2f4a
0.20.0-RC1 (expand/collapse)
From commit 004634a2 to 016111e8
0.14.0-RC1 (expand/collapse)
From commit 00cdf80d to 00cdf80d
0.20.0-RC1 (expand/collapse)
From commit 01769e4f to 02553c11
0.14.0-RC1 (expand/collapse)
From commit 06ddb4a4 to 06ddb4a4
0.20.0-RC1 (expand/collapse)
From commit 0541d071 to 06d842e0
0.14.0-RC1 (expand/collapse)
From commit 07b838f1 to 07b838f1
0.20.0-RC1 (expand/collapse)
From commit 053f6ffd to 041680d9
0.14.0-RC1 (expand/collapse)
From commit 001f08fb to 02f869ff
0.20.0-RC1 (expand/collapse)
From commit 0709d4eb to 0709d4eb
0.14.0-RC1 (expand/collapse)
From commit 00263c93 to 02132288
0.10.0-RC1 (expand/collapse)
From commit 00a52224 to 00a52224
0.14.0-RC1 (expand/collapse)
From commit 04cc8385 to 02ea1812
0.10.0-RC1 (expand/collapse)
From commit 0045164b to 0045164b
0.14.0-RC1 (expand/collapse)
From commit 030efbb1 to 06fad89b
0.10.0-RC1 (expand/collapse)
From commit 00541faa to 00541faa
0.14.0-RC1 (expand/collapse)
From commit 06e0ede0 to 069e1a74
0.10.0-RC1 (expand/collapse)
From commit 05dfa99d to 05dfa99d
0.14.0-RC1 (expand/collapse)
From commit 03bd909f to 0154d513
0.10.0-RC1 (expand/collapse)
From commit 041fc676 to 041fc676
0.14.0-RC1 (expand/collapse)
From commit 057091f0 to 011dad73
0.10.0-RC1 (expand/collapse)
From commit 03f618d9 to 03f618d9
0.14.0-RC1 (expand/collapse)
From commit 0540650f to 0540650f
0.10.0-RC1 (expand/collapse)
From commit 02e9d06e to 07540c0c
0.9.0-RC1 (expand/collapse)
From commit 042e81ae to 042e81ae
0.10.0-RC1 (expand/collapse)
From commit 05166dcc to 017bade3
0.9.0-RC1 (expand/collapse)
From commit 05c90569 to 05c90569
0.10.0-RC1 (expand/collapse)
From commit 02b60418 to 030eda93
0.9.0-RC1 (expand/collapse)
From commit 0607adde to 07839a57
0.6.0-RC1 (expand/collapse)
From commit 02a3726a to 02a3726a
0.9.0-RC1 (expand/collapse)
From commit 003ca4ec to 0111c7d8
0.8.0-RC1 (expand/collapse)
From commit 03d5065c to 03d5065c
0.9.0-RC1 (expand/collapse)
From commit 04513393 to 06cd948b
0.8.0-RC1 (expand/collapse)
From commit 00ab5c5b to 06aabd8e
0.6.0-RC1 (expand/collapse)
From commit 016922f8 to 016922f8
0.8.0-RC1 (expand/collapse)
From commit 02f70536 to 06b42906
0.6.0-RC1 (expand/collapse)
From commit 05bc5fed to 05bc5fed
0.8.0-RC1 (expand/collapse)
From commit 011cc930 to 027d52ff
0.6.0-RC1 (expand/collapse)
From commit 02f11bca to 02f11bca
0.8.0-RC1 (expand/collapse)
From commit 05b9e9f0 to 011eda39
0.6.0-RC1 (expand/collapse)
From commit 035f3363 to 02997792
0.4.0-RC1 (expand/collapse)
From commit 06e50006 to 06e50006
0.6.0-RC1 (expand/collapse)
From commit 05d6a7ed to 0713bde5
0.4.0-RC1 (expand/collapse)
From commit 0312fe48 to 0312fe48
0.6.0-RC1 (expand/collapse)
From commit 051c92a8 to 026719f5
0.4.0-RC1 (expand/collapse)
From commit 06adc174 to 06adc174
0.6.0-RC1 (expand/collapse)
From commit 00970f76 to 01460745
0.4.0-RC1 (expand/collapse)
From commit 07684202 to 0525e823