-- | Typing terms.
module Language.Symantic.Typing
 ( module Language.Symantic.Typing.Grammar
 , module Language.Symantic.Typing.Kind
 , module Language.Symantic.Typing.Constant
 , 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.Read
 , module Language.Symantic.Typing.Show
 ) where

import Language.Symantic.Typing.Grammar
import Language.Symantic.Typing.Kind
import Language.Symantic.Typing.Constant
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.Read
import Language.Symantic.Typing.Show