git.iko.soy/Idris-dev
on bb013f0 help sign in
Idris-dev/libs/oldeffects
1 folder, 3 files
../ Effect/Changed (<$>) to (<*>) Effects.idrChanged (<$>) to (<*>) MakefileReplace 'effects' with neweffects effects.ipkgReplace 'effects' with neweffects