../ 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/Added mconcat for concatenating over an arbitrary monoid (replace concat on lists with the generalized version later?)15 years ago MakefileSome type class bug fixes15 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.idrAdded infinite list syntax [1..], [1,3,...] etc (But it doesn't work at the REPL yet because that doesn't respect 'lazy' annotations properly)15 years ago system.idrMerge branch 'master' of https://github.com/dpmulligan/Idris-dev15 years ago