git.iko.soy/Idris-dev
on 08797ae help sign in
Idris-dev/test/test009
3 files
../ expectedNumeric ranges [a..b], [a,b .. c] and list monad runNumeric ranges [a..b], [a,b .. c] and list monad test009.idrRemoved semicolons from tests