Language/Symantic/Typing.hs

   1 -- | Typing terms.
   2 module Language.Symantic.Typing
   3  ( module Language.Symantic.Typing.Kind
   4  , module Language.Symantic.Typing.Constant
   5  , module Language.Symantic.Typing.Type
   6  , module Language.Symantic.Typing.Constraint
   7  , module Language.Symantic.Typing.Family
   8  , module Language.Symantic.Typing.Syntax
   9  ) where
  10
  11 import Language.Symantic.Typing.Kind
  12 import Language.Symantic.Typing.Constant
  13 import Language.Symantic.Typing.Type
  14 import Language.Symantic.Typing.Constraint
  15 import Language.Symantic.Typing.Family
  16 import Language.Symantic.Typing.Syntax