git.iko.soy/Idris-dev
on 13ebfcf help sign in
Idris-dev/test/basic012
3 files
../ basic012.idrAddress semantic differences in putting things to STDOUT. expectedSupport scoped type class constraints runSupport scoped type class constraints