git.iko.soy/Idris-dev
on 8a3d348 help sign in
Idris-dev/contribs/lib
2 folders
../ SQLite3/Address semantic differences in putting things to STDOUT. SimpleParser/Changed (<$>) to (<*>)