git.iko.soy/Idris-dev
on fa6f5fa help sign in
Idris-dev/test/test020
4 files
../ expectedRefactoring of parser to Trifecta, documenting and updating some items/fixing some issues. runColourise some error messages 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