../ 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/made some instances of complex numbers.15 years ago MakefileSome type class bug fixes15 years ago builtins.idrmade Num not a subclass of Ord and Eq, instead only of Eq such that complex numbers, for example, don't have to be ordered.15 years ago checkall.idradded complex-module into checkall.idr such that it gets checked, too..15 years ago io.idrMerge branch 'master' of https://github.com/dpmulligan/Idris-dev15 years ago prelude.idradded a prelude-function "atan2" as in haskell15 years ago system.idrMerge branch 'master' of https://github.com/dpmulligan/Idris-dev15 years ago