git.iko.soy/Idris-dev
on cf9d50f help sign in
Idris-dev/src
6 folders, 1 file
../ Core/Allow reading files in executor IRTS/Statically link to RTS in generated C code Idris/Remove dynamically loaded RTS due to 32/64-bit issues on OS X Pkg/More platform agnostic now RTS/Adding support for Windows MingW32 Util/Improve FFI accuracy in executor Main.hsRemove dynamically loaded RTS due to 32/64-bit issues on OS X