영어
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년 전에 가입했습니다.