]> Git — Sourcephile - haskell/symantic.git/blob - Language/Symantic/Typing.hs
Add Compiling, Interpreting and Transforming.
[haskell/symantic.git] / Language / Symantic / Typing.hs
1 -- | Typing terms.
2 module Language.Symantic.Typing
3 ( module Language.Symantic.Typing.Kind
4 , module Language.Symantic.Typing.Constant
5 , module Language.Symantic.Typing.Type
6 , module Language.Symantic.Typing.Constraint
7 , module Language.Symantic.Typing.Syntax
8 ) where
9
10 import Language.Symantic.Typing.Kind
11 import Language.Symantic.Typing.Constant
12 import Language.Symantic.Typing.Type
13 import Language.Symantic.Typing.Constraint
14 import Language.Symantic.Typing.Syntax