symantic/Language/Symantic/Compiling.hs

   1 -- | Compiling terms.
   2 module Language.Symantic.Compiling
   3  ( module Language.Symantic.Compiling.Term
   4  , module Language.Symantic.Compiling.Grammar
   5  , module Language.Symantic.Compiling.Beta
   6  , module Language.Symantic.Compiling.Read
   7  ) where
   8
   9 import Language.Symantic.Compiling.Term
  10 import Language.Symantic.Compiling.Grammar
  11 import Language.Symantic.Compiling.Beta
  12 import Language.Symantic.Compiling.Read