3 ms·
See also the DOT calculus[1] (Dependent Object Types) being the basis for a new foundation for scala's type system [1] - https://github.com/namin/dot https://g
by octo_t 13y ago
See also the DOT calculus[1] (Dependent Object Types) being the basis for a new foundation for scala's type system
[1] - https://github.com/namin/dot https://github.com/namin/dot