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