-- | Typing terms.
module Language.Symantic.Typing
- ( module Language.Symantic.Typing.Grammar
+ ( module Language.Symantic.Typing.List
+ , module Language.Symantic.Typing.Peano
, module Language.Symantic.Typing.Kind
- , module Language.Symantic.Typing.Constant
+ , module Language.Symantic.Typing.Variable
+ , module Language.Symantic.Typing.Module
, module Language.Symantic.Typing.Type
- , module Language.Symantic.Typing.Constraint
- , module Language.Symantic.Typing.Family
- , module Language.Symantic.Typing.Quantification
- , module Language.Symantic.Typing.Term
- , module Language.Symantic.Typing.Compile
+ , module Language.Symantic.Typing.Grammar
+ , module Language.Symantic.Typing.Document
+ , module Language.Symantic.Typing.Read
+ , module Language.Symantic.Typing.Show
+ , module Language.Symantic.Typing.Unify
) where
-import Language.Symantic.Typing.Grammar
+import Language.Symantic.Typing.List
+import Language.Symantic.Typing.Peano
import Language.Symantic.Typing.Kind
-import Language.Symantic.Typing.Constant
+import Language.Symantic.Typing.Variable
+import Language.Symantic.Typing.Module
import Language.Symantic.Typing.Type
-import Language.Symantic.Typing.Constraint
-import Language.Symantic.Typing.Family
-import Language.Symantic.Typing.Quantification
-import Language.Symantic.Typing.Term
-import Language.Symantic.Typing.Compile
+import Language.Symantic.Typing.Grammar
+import Language.Symantic.Typing.Document
+import Language.Symantic.Typing.Read
+import Language.Symantic.Typing.Show
+import Language.Symantic.Typing.Unify