git.iko.soy/Idris-dev
on 62be419 help sign in
Idris-dev/src
6 folders, 1 file
../ Core/Add support for pointers to dynamic FFI IRTS/Statically link to RTS in generated C code Idris/Update type providers so that the decision of failure or otherwise is made in IO Pkg/More platform agnostic now RTS/Adding support for Windows MingW32 Util/Improve FFI accuracy in executor Main.hsUse just-built dynamic RTS during library typecheck