git.iko.soy/Idris-dev
on da8b88a help sign in
Idris-dev/libs/effects
1 folder, 3 files
../ Effect/Stop relying on implicit capture in effects Effects.idrChanged (<$>) to (<*>) MakefileAdd 'doc' and 'doc_clean' make targets for Effects lib effects.ipkgMake 'neweffects' the official effects package