search

ziman / lightyear

Parser combinators for Idris
Other
238 stars 43 forks source link

Fixes #41. Update Effectful String file parsing. #42

Closed jfdm closed 8 years ago

jfdm commented 8 years ago

Idris changed their API for Effectful File operations. This commit updates effectful whole string file parsing functions.

ziman commented 8 years ago

Thanks!