symantic/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  ) where
   9
  10 import Language.Symantic.Typing.Kind
  11 import Language.Symantic.Typing.Constant
  12 import Language.Symantic.Typing.Type
  13 import Language.Symantic.Typing.Constraint
  14 import Language.Symantic.Typing.Family