git.iko.soy/Idris-dev
on 54e4e41 help sign in
Idris-dev/libs/base
6 folders, 3 files
../ Control/Export 'lift' from Control.Monad.State Data/Add dropElem to Data.List Debug/IO primitives tweak to support JS Language/Better error when no alternative is valid Syntax/First renaming attempt System/Check messages are passed to active VMs MakefileModified makefiles to add local IdrisDoc generation. System.idrFix 'time' to return Integer rather than Int base.ipkgAdded System.Interactive to base