git.iko.soy/Idris-dev
on 20e6028 help sign in
Idris-dev/libs
4 folders, 1 file
../ base/Changed (<$>) to (<*>) effects/Changed <$ and $> to <* and *> oldeffects/Changed (<$>) to (<*>) prelude/Merge branch 'master' into wip/tactical MakefileReplace 'effects' with neweffects