search

ziman / lightyear

Parser combinators for Idris
Other
238 stars 43 forks source link

Add imports required for newer Idris version #23

Closed puffnfresh closed 9 years ago

jfdm commented 9 years ago

I believe PR https://github.com/ziman/lightyear/pull/21 already addresses this issue.