англійська
Sofia
Sofia
@afsofia
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.
I also work on games, music, and other software in my spare time. Please check out my website or twitter for updates.
Пов'язані облікові записи
afsofia володіє такими обліковими записами на інших платформах:
Історія
afsofia приєднався 5 років тому.