git.iko.soy/Idris-dev
on ef3aed2 help sign in
Idris-dev/lib
4 folders, 6 files
../ control/Added some libraries, fixed some case statement bugs language/Added support/ directory so that library can use C support files network/Changed record update syntax... ...since {} is too overloaded now record { field = val } rec Also put records in their own namespace prelude/Support linking external .o files in new compiler MakefileAdded support/ directory so that library can use C support files builtins.idrFix a tactic implicit bug when argument given explicitly checkall.idrAdded support/ directory so that library can use C support files io.idrAdded fork (but not working properly yet) prelude.idrNew RTS almost ready, but for garbage collection problem system.idrAdd mkLazyForeign primitive