radiohead

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

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