ziman/lightyear — pull request #12 by bryce-anderson (2014-06-13 00:27:27+00:00)
Title: Fix erroneous package names

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`.