../ MakefileAbsolutely untested implementations of a few bitstring primitives.14 years ago idris_bitstring.cPrimitives for interconversion of Bits32 and Int14 years ago idris_bitstring.hAbsolutely untested implementations of a few bitstring primitives.14 years ago idris_gc.cResolve implicit definition warnings relating to bitstrings14 years ago idris_gc.hType safe message passing concurrency14 years ago idris_gmp.cFix Integer matching bug14 years ago idris_gmp.hAdd 'mod' and variants14 years ago idris_main.cSome tiny RTS optimisations14 years ago idris_rts.cResolve implicit definition warnings relating to bitstrings14 years ago idris_rts.hAbsolutely untested implementations of a few bitstring primitives.14 years ago idris_stdfgn.cMore platform agnostic now14 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