git.iko.soy/Idris-dev
on f0a67ff help sign in
Idris-dev/test/interfaces001
4 files
../ ClassName.idrChange elaboration of interfaces expectedChange elaboration of interfaces inputChange elaboration of interfaces runChange elaboration of interfaces