git.iko.soy/Idris-dev
on ef93607 help sign in
Idris-dev/test/test020
4 files
../ expectedSwapped Vect arguments So now nicer to write type class instances for Functor, Applicative, etc runOnly apply unique implicit conversions (and add test) test020.idrSwapped Vect arguments So now nicer to write type class instances for Functor, Applicative, etc test020a.idrSwapped Vect arguments So now nicer to write type class instances for Functor, Applicative, etc