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