git.iko.soy/Idris-dev
on ef93607 help sign in
history oftest/test014/run
all commits
6398a7eAdd argument passing to new testsBenjamin Saunders f26b42fDeal 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 qualified version of the name)Edwin Brady 0de6d2dFix resource language, add extra test for itEdwin Brady