git.iko.soy/Idris-dev
on eb780f7 help sign in
Idris-dev/test/basic024
4 files
../ basic024.idrRemove backend tests from input file and into source expectedMake `div` and `mod` behave consistently inputRemove backend tests from input file and into source runRemove backend tests from input file and into source