[2013-2014 Matteo Acerbi](https://www.gnu.org/licenses/gpl.html)

# Standard Library adapter

\begin{code}
module AD where

open import AD.Misc      public
open import AD.Hints     public
open import AD.Ix        public
open import AD.Manifest  public
open import AD.OPE       public
open import AD.TagTree   public
\end{code}
