NUIM-BCL / AD-DG-DA

Polymorphically type Haskell AD, distinguishing Differential Geometry from lift-all-reals+

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

NUIM-BCL/AD-DG-DA Stargazers