git.iko.soy/Idris-dev
on 2a17e4f help sign in
Idris-dev/test/test010
5 files
../ expectedAdd size change termination Now deals with recursive functions (still only simple structural size changes spotted, however) runInfrastructure for passing of parameters to idris during tests test010.idrAdd size change termination Now deals with recursive functions (still only simple structural size changes spotted, however) test010a.idrAdd size change termination Now deals with recursive functions (still only simple structural size changes spotted, however) test010b.idrAdd size change termination Now deals with recursive functions (still only simple structural size changes spotted, however)