Pull requests

#203 Merged
Repository
timjb timjb
Branch
default
Repository
birkenfeld birkenfeld
Branch
default

Add (Literate) Agda lexer

Author
  1. Tim Baumann
Reviewers
Description

Hi! I've implemented a lexer for the Agda (http://wiki.portal.chalmers.se/agda/pmwiki.php) dependently typed programming language and proof assistant and it's literate dialect (Agda code embedded in LaTeX). For the latter I've used some code from the Literate Haskell lexer and factored it out into a base class for LiterateHaskellLexer and LiterateAgdaLexer. Here are two example files:

https://dl.dropboxusercontent.com/u/1554469/test.html https://dl.dropboxusercontent.com/u/1554469/example.html

Comments (1)