../ MakefileRefactor the makefile so that all the pertinent variables are in config.mk14 years ago idris_gc.cMessage passing fixes; also abstract SETTY/GETTY in rts14 years ago idris_gc.hNew RTS almost ready, but for garbage collection problem14 years ago idris_gmp.cMessage passing fixes; also abstract SETTY/GETTY in rts14 years ago idris_gmp.hAdded GMP interface for BigInts14 years ago idris_main.c'par' primitive in builtins (not yet implemented)14 years ago idris_rts.c'par' primitive in builtins (not yet implemented)14 years ago idris_rts.h'par' primitive in builtins (not yet implemented)14 years ago idris_stdfgn.cAdded some useful standard foreign functions for IO14 years ago idris_stdfgn.hAdded some useful standard foreign functions for IO14 years ago libtest.cAdded simple library packaging system Now used for the prelude (see lib/base.ipkg)14 years ago