aptidude187
- Karma
- 146
- Created
- December 25, 2016 (9y ago)
- Submissions
- 0
- What Makes Emacs Different and Unique (2016) (blog.emacsos.com)
- Why type-first development matters (tomasp.net)
- When is one thing equal to some other thing? (2007) [pdf] (math.harvard.edu)