git.iko.soy/Idris-dev
on 9302221 help sign in
Idris-dev/test/reg041
4 files
../ expectedRename test reg040 to avoid clash ott.idrRename test reg040 to avoid clash runRename test reg040 to avoid clash showu.idrRename test reg040 to avoid clash