git.iko.soy/Idris-dev
on b5f2e4d help sign in
Idris-dev/libs
4 folders, 1 file
../ base/Changed (<$>) to (<*>) effects/Changed (<$>) to (<*>) oldeffects/Changed (<$>) to (<*>) prelude/Changed (<$>) to (<*>) MakefileReplace 'effects' with neweffects