Fix writeSGR on/off.
[haskell/symantic.git] / symantic / Language / Symantic / Typing.hs
index a3992fb6390a4f19fdbfed174c44e925640f45e1..1c0532b2d69c794654fd8fd9a6f31ccca97471ed 100644 (file)
@@ -1,22 +1,26 @@
 -- | 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