search

ziman / lightyear

Parser combinators for Idris
Other
238 stars 43 forks source link

Add missing consumption of *trailing space*. #35

Closed jfdm closed 9 years ago

jfdm commented 9 years ago

quoted, quoted', squote, and dquote did not consume trailing white space. This commit addresses that.