../ control/Added some libraries, fixed some case statement bugs15 years ago network/Changed record update syntax... ...since {} is too overloaded now record { field = val } rec Also put records in their own namespace15 years ago prelude/Change precedence of ++ to be higher than ::15 years ago MakefileSome type class bug fixes15 years ago builtins.idrRemove Eq constraint from Num15 years ago checkall.idrFix conflicts and compile errors in recent merge15 years ago io.idrMerge branch 'master' of https://github.com/dpmulligan/Idris-dev15 years ago prelude.idrFix conflicts and compile errors in recent merge15 years ago system.idrMerge branch 'master' of https://github.com/dpmulligan/Idris-dev15 years ago