issues
search
stefan-hoeck
/
idris2-linux
Utilities for using Idris2 on GNU/Linux systems
BSD 3-Clause "New" or "Revised" License
5
stars
1
forks
source link
[ refactor ] define a posix and linux library
#34
Closed
stefan-hoeck
closed
2 weeks ago