../ control/Added some libraries, fixed some case statement bugs15 years ago language/Added support/ directory so that library can use C support files15 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/added word-function as in haskell in prelude.string.15 years ago MakefileAdded support/ directory so that library can use C support files15 years ago builtins.idrRemove Eq constraint from Num15 years ago checkall.idrAdded support/ directory so that library can use C support files15 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