Inggeris
Sofia
Sofia
@afsofia
Programmer and game developer, working on the Mirth programming language.
Keterangan
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.
Akaun Terpaut
afsofia memiliki akaun berikut di platform lain:
Sejarah
afsofia sertai 5 tahun lalu.