git.iko.soy/Idris-dev
on 10ea548 help sign in
Idris-dev/lib
2 folders, 6 files
../ network/Made do notation behave better when bracketed prelude/Elaborator tweak, dealing better with values that are inferred automatically MakefileAvoid adding duplicate information to .ibc => quicker load time 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.idrAdd nullPtr/validFile system.idrDebraced rest of lib