Forward-, reverse- and mixed- mode automatic differentiation combinators with a common API. Type-level "branding" is used to both prevent t

Official docs outline

Extra Credit builds an outline of ad's docs the first time your work uses it. Until then, start at the official documentation.

vector-binary-instances
stringsearch
silently Prevent or capture writing to stdout, stderr, and other handles.
unix
acid-state
sbv Express properties about Haskell programs and automatically prove them using SMT (Satisfiability Modulo Theories) solvers.
diagrams-lib Diagrams is a flexible, extensible EDSL for creating graphics of many types. Graphics can be created in arbitrary vector spaces and rendere
language-javascript Parses Javascript into an Abstract Syntax Tree (AST). Initially intended as frontend to hjsmin. Note: Version 0.5.0 breaks compatibility w
hxt
propellor Propellor ensures that the system it's run in satisfies a list of properties, taking action as necessary when a property is not yet met. It
publicsuffixlist
terminfo

ad