Self Introduction
I am a university student majoring physics. I am also interested in programming, especially type theory and programming languages. I am developing a language called Erg. It is a statically typed language that will be transpiled into Python.