search

ziman / lightyear

Parser combinators for Idris
Other
238 stars 43 forks source link

Updates to reflect changes in Idris's prelude #21

Closed jfdm closed 9 years ago

jfdm commented 9 years ago

This PR updates Lightyear to reflect changes in the Idris prelude.

david-christiansen commented 9 years ago

@ziman: hope it's OK I push the merge button!

ziman commented 9 years ago

@david-christiansen sure, thanks! I wonder how I missed this one.