git.iko.soy/Idris-dev
on ef93607 help sign in
Idris-dev/test/reg005
3 files
../ expectedNormalise LHS before compilation ...otherwise in some situations the forcing optimisation may lead to uncompilable code reg005.idrSwapped Vect arguments So now nicer to write type class instances for Functor, Applicative, etc runNormalise LHS before compilation ...otherwise in some situations the forcing optimisation may lead to uncompilable code