git.iko.soy/Idris-dev
on da672ec help sign in
Idris-dev/test/reg065
3 files
../ expectedFix dictionary arguments in dependent type class methods reg065.idrFix dictionary arguments in dependent type class methods runFix dictionary arguments in dependent type class methods