git.iko.soy/Idris-dev
on master help sign in
Idris-dev/test/interfaces005
5 files
../ expected.outRename expected, input and run interfaces005.idrChange meaning of 'data' in interfaces interfaces005a.idrAdd another interface test interfaces005b.idrAdd another interface test run.shRename expected, input and run