symantic/Language/Symantic/Typing.hs

   1 -- | Typing terms.
   2 module Language.Symantic.Typing
   3  ( module Language.Symantic.Typing.Grammar
   4  , module Language.Symantic.Typing.Kind
   5  , module Language.Symantic.Typing.Constant
   6  , module Language.Symantic.Typing.Type
   7  , module Language.Symantic.Typing.Constraint
   8  , module Language.Symantic.Typing.Family
   9  , module Language.Symantic.Typing.Quantification
  10  , module Language.Symantic.Typing.Term
  11  , module Language.Symantic.Typing.Compile
  12  ) where
  13
  14 import Language.Symantic.Typing.Grammar
  15 import Language.Symantic.Typing.Kind
  16 import Language.Symantic.Typing.Constant
  17 import Language.Symantic.Typing.Type
  18 import Language.Symantic.Typing.Constraint
  19 import Language.Symantic.Typing.Family
  20 import Language.Symantic.Typing.Quantification
  21 import Language.Symantic.Typing.Term
  22 import Language.Symantic.Typing.Compile