git.iko.soy/Idris-dev
on e2c0e02 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.idrSome Eff experimentation, adding a 'test' command MakefileRefactored the build inside Setup.hs and the various Makefiles. effects.ipkgAn effect to allocate and manipulate memory