git.iko.soy/Idris-dev
on d66da21 help sign in
history oftest/test017/run
all commits
b36dfcdReset test runscripts to mode 0755Markus Pfeiffer 3558c7cChange from shebangs with absolute references to using /usr/bin/envMarkus Pfeiffer 11dbfc0Correct totality check of f=f, and add regression testEdwin Brady 6398a7eAdd argument passing to new testsBenjamin Saunders f8920a0Deal with higher order recursive arguments in size change graphsEdwin Brady