git.iko.soy/Idris-dev
on cd87fcd help sign in
Idris-dev/test/interfaces005
5 files
../ expecteduse interface in error message when check instance interfaces005.idrChange meaning of 'data' in interfaces interfaces005a.idrAdd another interface test interfaces005b.idrAdd another interface test runAdd another interface test