Also known as CziSKY or kirraObj online, my Chinese name is γζι‘Ίι‘Ίγ. I'm currently a freshman studying at Huanghe Science & Technology College (HSTC).
I have a solid understanding of Kotlin, Java, Python, a little bit familer with JavaScript / Go, and I have also touched upon Haskell and Lisp (Scheme); Iβm very interested in functional programming and Programming Language Theory (PLT).
Definition Identity {K : Set} (k : K) := k.