search

ziman / lightyear

Parser combinators for Idris
Other
238 stars 43 forks source link

Change return to pure to avoid deprecation warnings #50

Closed justjoheinz closed 7 years ago

ziman commented 7 years ago

Thanks!