../ 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 tutorial and examples consistent with latest library15 years ago MakefileUpdate to Setup,hs (via Dirk Ullrich)15 years ago builtins.idrMade tutorial and examples consistent with latest library15 years ago checkall.idrFix library compilation errors and improve name resolution in patterns15 years ago io.idrMerge branch 'master' of https://github.com/dpmulligan/Idris-dev15 years ago prelude.idrMerge branch 'master' of https://github.com/dpmulligan/Idris-dev15 years ago system.idrMerge branch 'master' of https://github.com/dpmulligan/Idris-dev15 years ago