../ 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 simple library packaging system Now used for the prelude (see lib/base.ipkg)14 years ago MakefileTweak Makefile (install checks too)14 years ago base.ipkgAdded simple library packaging system Now used for the prelude (see lib/base.ipkg)14 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.idrAdded fork (but not working properly yet)14 years ago prelude.idrNew RTS almost ready, but for garbage collection problem14 years ago system.idrMake getArgs work with new backend14 years ago