git.iko.soy/Idris-dev
on ef93607 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 runAllow type class constraints in 'using' clauses e.g. if a using block is given as test027.idrAllow type class constraints in 'using' clauses e.g. if a using block is given as