search

ziman / lightyear

Parser combinators for Idris
Other
238 stars 43 forks source link

Add imports for Fin and Vect from base #24

Closed chrismwendt closed 9 years ago

chrismwendt commented 9 years ago

Fin, Vect, and So were moved from pelude to base in Idris v0.9.16.

jfdm commented 9 years ago

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

david-christiansen commented 9 years ago

The library and examples build fine with PR #21 having been merged, so I'll close this for now. Thanks for sending it!