10 earlier thoughts
You don't need to get very far in topology or abstract algebra before you're basically defining type-hierarchies and interfaces.
1 later thought
Keyboard navigation
?
c
g
j
←
k
→
p
s
ctrl + enter
alt + enter
esc