Agda-2.2.6: A dependently typed functional programming language and proof assistant
Agda.Syntax.Parser.Parser
Description
The parser is generated by Happy (http://www.haskell.org/happy).
Synopsis
moduleParser :: Parser ModuleSource
Parse a module.
exprParser :: Parser ExprSource
Parse an expression. Could be used in interactions.
tokensParser :: Parser [Token]Source
Parse the token stream. Used by the TeX compiler.
tests :: IO BoolSource
Test suite.