ditto-0.4: src/Ditto.hs

-- | Reexports important modules of @ditto@
module Ditto 
  ( module P
  ) where

import Ditto.Backend as P
import Ditto.Core as P
import Ditto.Proof as P
import Ditto.Types as P