git.iko.soy/Idris-dev
on fb3160e help sign in
history oflib/system.idr
all commits
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