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.Type
   8  , module Language.Symantic.Typing.Grammar
   9  , module Language.Symantic.Typing.Document
  10  , module Language.Symantic.Typing.Read
  11  , module Language.Symantic.Typing.Show
  12  , module Language.Symantic.Typing.Unify
  13  ) where
  14
  15 import Language.Symantic.Typing.List
  16 import Language.Symantic.Typing.Peano
  17 import Language.Symantic.Typing.Kind
  18 import Language.Symantic.Typing.Variable
  19 import Language.Symantic.Typing.Type
  20 import Language.Symantic.Typing.Grammar
  21 import Language.Symantic.Typing.Document
  22 import Language.Symantic.Typing.Read
  23 import Language.Symantic.Typing.Show
  24 import Language.Symantic.Typing.Unify