git.iko.soy/Idris-dev
on 239c8ca help sign in
Idris-dev/test/reg057
3 files
../ expectedAllow class constraints to be named reg057.idrAllow class constraints to be named runAllow class constraints to be named