]> Git — Sourcephile - haskell/symantic.git/blob - symantic/Language/Symantic/Typing.hs
Bump versions.
[haskell/symantic.git] / 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.Module
8 , module Language.Symantic.Typing.Type
9 , module Language.Symantic.Typing.Grammar
10 , module Language.Symantic.Typing.Document
11 , module Language.Symantic.Typing.Read
12 , module Language.Symantic.Typing.Show
13 , module Language.Symantic.Typing.Unify
14 ) where
15
16 import Language.Symantic.Typing.List
17 import Language.Symantic.Typing.Peano
18 import Language.Symantic.Typing.Kind
19 import Language.Symantic.Typing.Variable
20 import Language.Symantic.Typing.Module
21 import Language.Symantic.Typing.Type
22 import Language.Symantic.Typing.Grammar
23 import Language.Symantic.Typing.Document
24 import Language.Symantic.Typing.Read
25 import Language.Symantic.Typing.Show
26 import Language.Symantic.Typing.Unify