英語
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 年前に参加しました。