git.iko.soy/Idris-dev
on 8a3d348 help sign in
Idris-dev/contribs/lib/SimpleParser
2 files
../ SimpleParser.idrChanged (<$>) to (<*>) simpleparser.ipkgAdd IPKG for SimpleParser