search

ziman / lightyear

Parser combinators for Idris
Other
238 stars 43 forks source link

idris reports that return is deprecated. #47

Closed mlang closed 7 years ago

ziman commented 7 years ago

Thank you for the patch! Another pull request addressed it, too.