The OP paper is as simple as the blog post, laying out the conductive form for expressing the mathematical definitions of the college-level math concepts.

So you can try porting the other sections to executable code also, as exercises.

http://www.matematicas.unam.mx/favio/publ/cocalculus.pdf

A top hit for more info on this topic, is this 2015 HN comment thread: https://news.ycombinator.com/item?id=9617083