../ MakefileRefactored the build inside Setup.hs and the various Makefiles.13 years ago idris_bitstring.cRevert "Revert "Merge pull request #294 from bitlisp/unified-int-primitives""13 years ago idris_bitstring.hFix spelling of Xor prims. This fixes issue #356.13 years ago idris_gc.cCopy on demand cmd line args.14 years ago idris_gc.hType safe message passing concurrency14 years ago idris_gmp.cCalculate size allocation of BIGINT properly13 years ago idris_gmp.hInteger <-> Float conversion in C codegen13 years ago idris_heap.cadd heap properties checking14 years ago idris_heap.hA bit more detailed rts stats.14 years ago idris_main.cA bit more detailed rts stats.14 years ago idris_opts.cMinor fix: print rts opts help to stdout instead of stderr.14 years ago idris_opts.hMinor fix: print rts opts help to stdout instead of stderr.14 years ago idris_rts.cSeparate IO and PrimIO PrimIO is the internal primitive, IO is the user version which requires an explicit World token to be passed in which programmers have no access to directly. Fixes #185 and fixes #32513 years ago idris_rts.hExpand integer primitive unification to encompass bigints13 years ago idris_stats.cFix compilation error on floating point constants14 years ago idris_stats.hA bit more detailed rts stats.14 years ago idris_stdfgn.cAdding several functions to interact with environment variables.13 years ago idris_stdfgn.hAdding several functions to interact with environment variables.13 years ago libtest.cAdded simple library packaging system Now used for the prelude (see lib/base.ipkg)14 years ago