search

ziman / lightyear

Parser combinators for Idris
Other
238 stars 43 forks source link

Alter the types for opening and closing parsers in `between` #63

Closed BartAdv closed 7 years ago

BartAdv commented 7 years ago

There's no point in requiring them to be the same, the values are discarded anyway.

ziman commented 7 years ago

Thank you!