radiohead

joined 1 year ago
[–] radiohead 1 points 1 year ago (1 children)

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