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