Amateur software developer, student of computer science, and apprentice in type theory and foundational mathematics.
Joined July 2013
·
Achievements
30 Karma
0 Followers
0 Total ProTip Views
Walrus
The walrus is no stranger to variety. Use at least 4 different languages throughout all your repos
Platypus
Have at least one original repo where scala is the dominant language
Charity
Fork and commit to someone's open source project in need