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