user:Arch-TK
created:Oct 10, 2016
karma:1841
about:

Any sufficiently complex type system is indistinguishable from an esolang.