search

ziman / lightyear

Parser combinators for Idris
Other
238 stars 43 forks source link

Replace return with pure #48

Closed Termina1 closed 7 years ago

Termina1 commented 7 years ago

Removes deprecation warning.

ziman commented 7 years ago

Thank you!