../ 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 unwords14 years ago MakefileAdded support/ directory so that library can use C support files15 years ago builtins.idrFix a tactic implicit bug when argument given explicitly14 years ago checkall.idrAdded support/ directory so that library can use C support files15 years ago io.idrFix default arguments in pattern context14 years ago prelude.idrFix conflicts and compile errors in recent merge15 years ago system.idrAdd mkLazyForeign primitive14 years ago