../ Core/Fix applications of applications in executor14 years ago IRTS/Undo earlier fix for RTS linking due to Mac OS incompatibility14 years ago Idris/Merge branch 'providers-io-rewrite' of https://github.com/david-christiansen/Idris-dev into david-christiansen-providers-io-rewrite14 years ago Pkg/More platform agnostic now14 years ago RTS/Adding support for Windows MingW3214 years ago Util/Implement dynamic linking on Windows14 years ago Main.hsRemove dynamically loaded RTS due to 32/64-bit issues on OS X14 years ago