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