../ MakefileRefactor the makefile so that all the pertinent variables are in config.mk14 years ago idris_gc.cCleaner data constructor argument pointer storage in RTS14 years ago idris_gc.hType safe message passing concurrency14 years ago idris_gmp.cPattern matching on strings, big integers and characters14 years ago idris_gmp.hPattern matching on strings, big integers and characters14 years ago idris_main.cType safe message passing concurrency14 years ago idris_rts.cCleaner data constructor argument pointer storage in RTS14 years ago idris_rts.hCleaner data constructor argument pointer storage in RTS14 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