Language/Symantic.hs

   1 module Language.Symantic
   2  ( -- * Typing terms.
   3    module Language.Symantic.Typing
   4  , -- * Compiling terms.
   5    module Language.Symantic.Compiling
   6  , -- * Interpreting terms.
   7    module Language.Symantic.Interpreting
   8  ) where
   9
  10 import Language.Symantic.Typing
  11 import Language.Symantic.Compiling
  12 import Language.Symantic.Interpreting