Language/Symantic/Compiling.hs

   1 -- | Compiling terms.
   2 module Language.Symantic.Compiling
   3  ( module Language.Symantic.Compiling.Term
   4  , module Language.Symantic.Compiling.Bool
   5  , module Language.Symantic.Compiling.Eq
   6  ) where
   7
   8 import Language.Symantic.Compiling.Term
   9 import Language.Symantic.Compiling.Bool
  10 import Language.Symantic.Compiling.Eq