Joined August 2012
·
Why won't Emacs insert Agda's mathy symbols? (e.g., ↓∀∘≠Σ)
Josh
·
0 responses
·
emacs, unicode, evil, agda
Achievements
56 Karma
1,302 Total ProTip Views
Komodo Dragon
Have at least one original repo where Java is the dominant language
Walrus
The walrus is no stranger to variety. Use at least 4 different languages throughout all your repos
Raven
Have at least one original repo where some form of shell script is the dominant language
Charity
Fork and commit to someone's open source project in need