module Parsing.EBNF where

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

import Language.Symantic.Typing
import Language.Symantic.Parsing.Grammar
import Parsing.Grammar.Test
import Typing.Test

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