Inggris
Sofia
Sofia
@afsofia
Programmer and game developer, working on the Mirth programming language.
Deskripsi
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.
Akun yang Dihubungkan
afsofia memiliki akun berikut di platform lain:
Riwayat
afsofia bergabung 5 tahun yang lalu.