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