search

ziman / lightyear

Parser combinators for Idris
Other
238 stars 43 forks source link

Fixed spelling of lexeme and fixed over lexing. #15

Closed jfdm closed 10 years ago