git.iko.soy/Idris-dev
on 50c66f9 help sign in
Idris-dev/effects
1 folder, 3 files
../ Effect/Swapped Vect arguments So now nicer to write type class instances for Functor, Applicative, etc Effects.idrAdded "if_valid" syntax rule for possibly failing Effects MakefileRefactored the build inside Setup.hs and the various Makefiles. effects.ipkgAn effect to allocate and manipulate memory