../ 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.idrAdded malloc and trace_malloc *** This will need the latest EpiVM ***15 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