git.iko.soy/Idris-dev
on 69965ef help sign in
Idris-dev/test/test015
4 files
../ Parity.idrrename O into Z expectedDeal with shadowing better in patterns Variable names in patterns should override global names, as long as they are not applied to anything. If the global name is desired (e.g. if it is the result of a dependency elsewhere, either use a _ or give the quali… runReset test runscripts to mode 0755 test015.idrWhitespace cleanup.