3 ms·
Nothing. However it will provide a consistent basis for translating a wider variety of systems to existing type systems.
by SolarNet 9y ago
Nothing. However it will provide a consistent basis for translating a wider variety of systems to existing type systems.