git.iko.soy/Idris-dev
on 89c19be help sign in
Idris-dev/test/proof003
4 files
../ Parity.idrAdd --nowarnreach to two tests. expectedCategorise tests runFix filename case in test run scripts test015.idrAddress semantic differences in putting things to STDOUT.