Agda.Syntax.Parser.Parser

The parser is generated by Happy (http://www.haskell.org/happy).

Documentation

moduleParser :: Parser Module

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.

tests :: IO Bool

Test suite.