../ 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/Test commit after hosing my local copy of the repository through fiddling with git and reverts. Starting on a correctness proof of the heap implementation. Type checking now much faster.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