]> Git — Sourcephile - haskell/symantic.git/blob - symantic/Language/Symantic/Compiling.hs
Rename inj_* -> *Inj.
[haskell/symantic.git] / symantic / Language / Symantic / Compiling.hs
1 -- | Compiling terms.
2 module Language.Symantic.Compiling
3 ( module Language.Symantic.Compiling.Term
4 , module Language.Symantic.Compiling.Module
5 , module Language.Symantic.Compiling.Grammar
6 , module Language.Symantic.Compiling.Beta
7 , module Language.Symantic.Compiling.Read
8 ) where
9
10 import Language.Symantic.Compiling.Term
11 import Language.Symantic.Compiling.Module
12 import Language.Symantic.Compiling.Grammar
13 import Language.Symantic.Compiling.Beta
14 import Language.Symantic.Compiling.Read