git.iko.soy/Idris-dev
on bbf672a help sign in
Idris-dev/test/basic012
3 files
../ basic012.idrSupport scoped type class constraints expectedSupport scoped type class constraints runSupport scoped type class constraints