@hackage ad0.20

Automatic Differentiation

Forward, reverse, and higher-order automatic differentiation combinators with a common API.

Type-level "branding" is used to prevent the end user from confusing infinitesimals.