git.iko.soy/Idris-dev
on fdbee50 help sign in
Idris-dev/test/test017
5 files
../ expectedAdded column name to source runReset test runscripts to mode 0755 test017.idrTotality checker improvements (soundness) 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