henripal/DifferentialGeometry

WIP implementation of symbolic differential geometry from Sussman and Wisdom's Functional Differential Geometry

Scheme