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