git.iko.soy/Idris-dev
on cd87fcd help sign in
history oflibs/base/System.idr
all commits
45b90deadd System.system documentationPaul Ivanov 58fc44eMerge branch 'master' of https://github.com/idris-lang/Idris-devSaurabh Rawat dcd1864fixed importSaurabh Rawat 0ba2ce6Improve `System.Exit` Fixes #3488.Jan de Muijnck-Hughes e62dcbaFix rangeSaurabh Rawat c9883e6Used So instead of =Saurabh Rawat e29c669Added documentation, fixed formattingSaurabh Rawat 13449b5Restrict System.usleep intervalSaurabh Rawat f754d9cPurify Idris of "return"David Christiansen 68c019aChange export qualifier keywordsEdwin Brady 9855481Update System.idrAndrew Stewart Gibson 03b9980Change internal names of pattern bindingsEdwin Brady 5b841fbFix typo in doc commentJeremy W. Sherman 8c28352Some Prelude reorganisationEdwin Brady dc27739Fix 'time' to return Integer rather than IntEdwin Brady d5377beNew language-dependent FFIEdwin Brady 7b5f4aaFix visibility of imported thingsEdwin Brady 4c46b0eFix warning in io003 on clangEdwin Brady 66235b7add system FFun to base/SystemHeather d53154aAdd documentation in new format for various libsDavid Raymond Christiansen 94750e3Add 'time' functionEdwin Brady 40924dcMoved libraries around, removed 'effects' flagEdwin Brady