Safe Haskell | None |
---|
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
Agda-2.3.0.1: A dependently typed functional programming language and proof assistant
Safe Haskell | None |
---|
Agda.Syntax.Parser.Parser
Description
The parser is generated by Happy (http://www.haskell.org/happy).