../ 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/Merge pull request #7 from dpmulligan/master15 years ago MakefileFix lib/Makefile15 years ago builtins.idrMade tutorial and examples consistent with latest library15 years ago checkall.idr(Try again...) Fixed some case statement bugs15 years ago io.idrMerge branch 'master' of https://github.com/dpmulligan/Idris-dev15 years ago prelude.idr(Try again...) Fixed some case statement bugs15 years ago system.idrMerge branch 'master' of https://github.com/dpmulligan/Idris-dev15 years ago