git.iko.soy/Idris-dev
on b8f342d help sign in
history oflib/system.idr
all commits
6633483Add mkLazyForeign primitiveEdwin Brady b66ec2bMerge branch 'master' of https://github.com/dpmulligan/Idris-devEdwin Brady c5e3aa7Debraced rest of libEdwin Brady 4804676Compiler saturates constructors before compilingEdwin Brady 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 Brady 85e91efAdded '%access' directive and updated libsEdwin Brady 582afe1Added system module (getArgs, getEnv, exit)Edwin Brady