Agda.Syntax.Parser.Parser
Description
The parser is generated by Happy (http://www.haskell.org/happy).
- moduleParser :: Parser Module
- exprParser :: Parser Expr
- tokensParser :: Parser [Token]
- tests :: IO Bool
Documentation
Parse a module.
exprParser :: Parser Expr
Parse an expression. Could be used in interactions.
tokensParser :: Parser [Token]
Parse the token stream. Used by the TeX compiler.