git.iko.soy/Idris-dev
on fac49fc help sign in
Idris-dev/test/test027
3 files
../ expectedAllow type class constraints in 'using' clauses e.g. if a using block is given as runReset test runscripts to mode 0755 test027.idrAllow type class constraints in 'using' clauses e.g. if a using block is given as