symantic/Language/Symantic/Typing.hs

   1 -- | Typing terms.
   2 module Language.Symantic.Typing
   3  ( module Language.Symantic.Typing.List
   4  , module Language.Symantic.Typing.Peano
   5  , module Language.Symantic.Typing.Kind
   6  , module Language.Symantic.Typing.Variable
   7  , module Language.Symantic.Typing.Module
   8  , module Language.Symantic.Typing.Type
   9  , module Language.Symantic.Typing.Grammar
  10  , module Language.Symantic.Typing.Document
  11  , module Language.Symantic.Typing.Read
  12  , module Language.Symantic.Typing.Show
  13  , module Language.Symantic.Typing.Unify
  14  ) where
  15
  16 import Language.Symantic.Typing.List
  17 import Language.Symantic.Typing.Peano
  18 import Language.Symantic.Typing.Kind
  19 import Language.Symantic.Typing.Variable
  20 import Language.Symantic.Typing.Module
  21 import Language.Symantic.Typing.Type
  22 import Language.Symantic.Typing.Grammar
  23 import Language.Symantic.Typing.Document
  24 import Language.Symantic.Typing.Read
  25 import Language.Symantic.Typing.Show
  26 import Language.Symantic.Typing.Unify