Various updates. - Githubissues

ziman / lightyear

Parser combinators for Idris

Other

238 stars 43 forks source link

Various updates. #14

Closed jfdm closed 10 years ago

jfdm commented 10 years ago

Added lexme, a simple lexer.
Added punctuation parsers.
Added between combinator, and parsers that make use of it.
Added sep parsers
Added tests