]> Git — Sourcephile - haskell/symantic.git/blob - symantic-lib/Language/Symantic/Grammar/EBNF.hs
Clarification : eqKi -> eqKind.
[haskell/symantic.git] / symantic-lib / Language / Symantic / Grammar / EBNF.hs
1 module Grammar.EBNF where
2
3 import Data.Text.IO as Text
4 import Control.Monad
5
6 import Language.Symantic.Grammar
7 import Language.Symantic
8 import Language.Symantic.Lib ()
9
10 main :: IO ()
11 main = do
12 forM_ gram_comment render
13 forM_ gram_type render
14 forM_ gram_term render
15 where render = Text.putStrLn . renderEBNF . unCF