git.iko.soy/Idris-dev
on master help sign in
Fix warning in io003 on clang
4c46b0eEdwin Brady
libs/base/System.idr+1
compare with master
unifiedsplit
@@ -2,6 +2,7 @@ module System
2
2
3import Prelude
3import Prelude
4
4
5+%include C "unistd.h"
5%default partial
6%default partial
6%access public
7%access public
7
8