git.iko.soy/Idris-dev
on 2b7db6a 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) runAdd size change termination Now deals with recursive functions (still only simple structural size changes spotted, however) 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)