git.iko.soy/Idris-dev
on ef93607 help sign in
Idris-dev/test/test017
5 files
../ expectedCorrect totality check of f=f, and add regression test 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