module Grammar.EBNF where

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

import Language.Symantic.Grammar
import Language.Symantic
import Language.Symantic.Lib ()

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