Αγγλικά
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 έτη.