Hacker News new | ask | show | jobs
by Jeff_Brown 3038 days ago
What will it let me represent that extant type systems don't?
1 comments
SolarNet 3032 days ago
Nothing. However it will provide a consistent basis for translating a wider variety of systems to existing type systems.
link