英语
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年前 加入。