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