git.iko.soy/Idris-dev
on 1865526 help sign in
Idris-dev/lib
4 folders, 7 files
../ control/simple arrows 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/simple arrows MakefileTweak Makefile (install checks too) base.ipkgsimple arrows 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.idrMake getArgs work with new backend