git.iko.soy/Idris-dev
on abd5f0c help sign in
Idris-dev/libs
4 folders, 1 file
../ base/Remove trailing whitespace. effects/Standard IO effect docstrings oldeffects/Make 'neweffects' the official effects package prelude/trans doesn't need homogeneous equalities Makefileremove javascript lib in favor of idris-hacker/iQuery