git.iko.soy/Idris-dev
on 2cfcbcf help sign in
Idris-dev/test/interfaces005
5 files
../ expectedAdd another interface test interfaces005.idrMore flexibility in constraint arguments interfaces005a.idrAdd another interface test interfaces005b.idrAdd another interface test runAdd another interface test