radiohead

joined 2 years ago
[–] radiohead 1 points 2 years ago (1 children)

How about a Turing-complete type system (e.g. TypeScript)?