../ expectedAdd size change termination Now deals with recursive functions (still only simple structural size changes spotted, however)14 years ago runInfrastructure for passing of parameters to idris during tests14 years ago run_javaBackend support for Java14 years ago test010.idrAdd size change termination Now deals with recursive functions (still only simple structural size changes spotted, however)14 years ago test010a.idrAdd size change termination Now deals with recursive functions (still only simple structural size changes spotted, however)14 years ago test010b.idrAdd size change termination Now deals with recursive functions (still only simple structural size changes spotted, however)14 years ago