User: Arch-TK

• Created: 3216 days ago
• Karma: 2178
• Any sufficiently complex type system is indistinguishable from an esolang.

submissions | comments