]> Git — Sourcephile - haskell/symantic.git/blob - symantic/Language/Symantic.hs
Use Nat, instead of convoluted type families.
[haskell/symantic.git] / symantic / Language / Symantic.hs
1 module Language.Symantic
2 ( module Language.Symantic.Typing
3 , module Language.Symantic.Compiling
4 , module Language.Symantic.Interpreting
5 , module Language.Symantic.Transforming
6 -- * Re-exports for convenience.
7 , module Language.Symantic.Grammar.Fixity
8 , module Language.Symantic.Grammar.Source
9 , module Language.Symantic.Grammar.Error
10 ) where
11
12 import Language.Symantic.Typing
13 import Language.Symantic.Compiling
14 import Language.Symantic.Interpreting
15 import Language.Symantic.Transforming
16
17 import Language.Symantic.Grammar.Fixity
18 import Language.Symantic.Grammar.Source
19 import Language.Symantic.Grammar.Error