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