The complete formal presentation is in pdf/ directory. To build, type:
cd pdf
then
pdflatex paper_typeless.tex
The verification code of formal presentation is at src/main/scala/formal/.
The code for higher order gradient is at src/main/scala/highOrder/.
To run Scala code, type:
sbt
in sbt prompt, type:
run