git.iko.soy/Idris-dev
on 8c19e30 help sign in
Idris-dev/test/test017
5 files
../ expectedAdded column name to source runCorrect totality check of f=f, and add regression test test017.idrSwapped Vect arguments So now nicer to write type class instances for Functor, Applicative, etc test017a.idrSwapped Vect arguments So now nicer to write type class instances for Functor, Applicative, etc test017b.idrCorrect totality check of f=f, and add regression test