4 ms·
What will it let me represent that extant type systems don't?
by Jeff_Brown 9y ago
What will it let me represent that extant type systems don't?
- SolarNet 9y agoNothing. However it will provide a consistent basis for translating a wider variety of systems to existing type systems.