git.iko.soy/Idris-dev
on 2b0224a help sign in
Idris-dev/test/reg060
3 files
../ expectedFix type class name propagation issue reg060.idrFix type class name propagation issue runFix type class name propagation issue