git.iko.soy/Idris-dev
on bc8da8d help sign in
Idris-dev/test/idrisdoc004
4 files
../ TestInterfaces.idrreplace code level class symbol with inferface expectedreplace code level class symbol with inferface runreplace code level class symbol with inferface test_interfaces.ipkgreplace code level class symbol with inferface