Programmer and game developer, working on the Mirth programming language.
I'm a functional programmer who specializes in dependent type theory and programming language development. I'm working on a concatenative functional language called Mirth. Please check it out on GitHub.
afsofia owns the following accounts on other platforms:
afsofia joined 5 years ago.