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