git.iko.soy/Idris-dev
on db306ca help sign in
Idris-dev/libs/neweffects
1 folder, 3 files
../ Effect/Handler for Exceptions in List context Effects.idrRename 'new' to 'newInit' in neweffects MakefileAdd missing files to idris.cabal neweffects.ipkgAdd beginnings of System effect