module Parsing.EBNF where

import Data.Text.IO as Text
import Control.Monad

import Language.Symantic.Typing
import Language.Symantic.Parsing
import Language.Symantic.Compiling (gram_term)

main :: IO ()
main = do
	forM_ gram_lexer render
	forM_ gram_type  render
	forM_ gram_term  render
	where render = Text.putStrLn . renderEBNF . unCF