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