Updated finite set constructors inline with recent changes in Idris-Dev.

ziman / lightyear

Parser combinators for Idris

Other

238 stars 43 forks source link

Updated finite set constructors inline with recent changes in Idris-Dev. #16

Closed jfdm closed 10 years ago

jfdm commented 10 years ago

The following issue from idris-dev https://github.com/idris-lang/Idris-dev/issues/1516 introduces several backwards incompatible changes to Idris. This PR updates Lightyear in line with the aformentioned changes.

ziman commented 10 years ago

Thanks!