An elegant implementation of discrete diffgeo in haskell - View it on GitHub