search

ziman / lightyear

Parser combinators for Idris
Other
238 stars 43 forks source link

Fix erroneous package names #12

Closed bryce-anderson closed 10 years ago

bryce-anderson commented 10 years ago

Also of note: I believe the idris elem parser in the readme is also ill typed: string "0123" is of type Parser () as opposed to the declared type of Parser String.

ziman commented 10 years ago

Indeed, thank you! I changed the string "0123" to something more abstract.