6633483Add mkLazyForeign primitiveEdwin Brady15 years ago b66ec2bMerge branch 'master' of https://github.com/dpmulligan/Idris-devEdwin Brady15 years ago c5e3aa7Debraced rest of libEdwin Brady15 years ago 4804676Compiler saturates constructors before compilingEdwin Brady15 years ago bd61594Removed need for terminating ; A declaration is now considered terminated on encountering a token in the same column as the declaration began - or on encountering a semicolon. Libraries and some tests updated.Edwin Brady15 years ago 85e91efAdded '%access' directive and updated libsEdwin Brady15 years ago 582afe1Added system module (getArgs, getEnv, exit)Edwin Brady15 years ago