3 earlier thoughts
I decided to try implementing the same ideas myself in Python starting with some of the foundational mathematical stuff in Appendix B.
The initial work is available at https://github.com/jtauber/functional-differential-geometry.
3 later thoughts
Keyboard navigation
?
c
g
j
←
k
→
p
s
ctrl + enter
alt + enter
esc