/idris-posix

System POSIX bindings for Idris.

Primary LanguageIdris

This repository is not active