git.iko.soy/Idris-dev
on eec2b83 help sign in
Idris-dev/lib
2 folders, 6 files
../ network/Made do notation behave better when bracketed prelude/Better error reporting for unresolved type classes MakefileAnother cabal fix builtins.idrElaborator tweak, dealing better with values that are inferred automatically checkall.idrSome prelude shuffling io.idrMaking IO lazy means we need to force an evaluation for anything to happen at all... prelude.idrRemove some needless bracketing from if...then...else system.idrDebraced rest of lib