git.iko.soy/Idris-dev
on e88a135 help sign in
Idris-dev/rts
11 files
../ MakefileMake getArgs work with new backend idris_gc.cMake getArgs work with new backend idris_gc.hNew RTS almost ready, but for garbage collection problem idris_gmp.cFix allocation size idris_gmp.hAdded GMP interface for BigInts idris_main.cMake getArgs work with new backend idris_rts.cMake getArgs work with new backend idris_rts.hMake getArgs work with new backend idris_stdfgn.cAdded some useful standard foreign functions for IO idris_stdfgn.hAdded some useful standard foreign functions for IO libtest.cAdded simple library packaging system Now used for the prelude (see lib/base.ipkg)