Idris2Doc : Data.Autodiff

Data.Autodiff

(source)
Reexports
import public Data.Autodiff.Ops
import public Data.Autodiff.Model