search

ziman / lightyear

Parser combinators for Idris
Other
238 stars 43 forks source link

Updated to reflect upstream changes in operator names. #25

Closed jfdm closed 9 years ago

jfdm commented 9 years ago

The Great Operator Rename PR renamed several operators in Idris this PR updates lightyear to follow suite.

ziman commented 9 years ago

Thanks, @jfdm !