BNFC3-3.0: A compiler front-end generator.
Source
Contents
Index
Safe Haskell
None
Language
Haskell2010
BNFC.Backend.Agda.Lexer
Documentation
agdaLexer
::
LBNF
->
State
AgdaBackendState
Result
Source
#