GitHub - idris-hackers/idris-posix: System POSIX bindings for Idris.

Name	Name	Last commit message	Last commit date
Latest commit superfunc Merge pull request #5 from JustusAdam/master Nov 18, 2017 1e4787b · Nov 18, 2017 History 18 Commits
src	src	Added createDirectory and getCurrentDirectory	Nov 16, 2017
.gitignore	.gitignore	Successfully tested install_signal_handler	May 2, 2016
.travis.yml	.travis.yml	Add travis builds	Aug 15, 2017
posix.ipkg	posix.ipkg	Added createDirectory and getCurrentDirectory	Nov 16, 2017