userArch-TK
createdJan 18, 1970
karma1980
aboutAny sufficiently complex type system is indistinguishable from an esolang.