git.iko.soy/Idris-dev
on d1663cc help sign in
history oflib/System.idr
all commits
e8887b6Store arguments in a global rather than the VM struct so as to reduce dependence of lib on RTS impl detailsBenjamin Saunders 3c32b65Whitespace cleanup.George Leontiev 5e8a597Adding several functions to interact with environment variables.Gabe McArthur c8530b3Modifying the System.getEnv function to return IO (Maybe String)Gabe McArthur 71a3efaLibrary now builds with "--total"Edwin Brady 5c9a88auppercase modulenamesraichoo