Username: Arch-TK About:
Any sufficiently complex type system is indistinguishable from an esolang.
 Joined HN: 8 years ago Karma: 1987