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.
2020 - Present
- Department of Physics
Waseda University Honjo Senior High School
2017 - 2020