3 ms·

Type systems.

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