git.iko.soy/Idris-dev
on 0690def help sign in
Idris-dev/test/test010
5 files
../ expectedImplicit "module Main" added runReset test runscripts to mode 0755 test010.idrSwapped Vect arguments So now nicer to write type class instances for Functor, Applicative, etc 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)