git.iko.soy/Idris-dev
on d1663cc 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.idrWhitespace cleanup. 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