git.iko.soy/Idris-dev
on 4e69658 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