git.iko.soy/Idris-dev
on aef8dc1 help sign in
Idris-dev/libs
4 folders, 1 file
../ base/Add missing module to base.ipkg effects/Move Fin, Vect and So from prelude to base oldeffects/Replace 'effects' with neweffects prelude/Cleaned up an old name change for consistency MakefileReplace 'effects' with neweffects