| .. |
| Network | Fix building shared libraries with correct extensions | 6 years ago |
| .gitignore | Fix building shared libraries with correct extensions | 6 years ago |
| Echo.idr | Fix building shared libraries with correct extensions | 6 years ago |
| expected | remove another message to make network tests more reliable | 7 years ago |
| idris_net.c | provide building blocks for binary network I/O | 6 years ago |
| idris_net.h | provide building blocks for binary network I/O | 6 years ago |
| Makefile | Refactor makefiles to use some common options | 6 years ago |
| network.ipkg | got code to compile | 7 years ago |
| test.c | Refactor makefiles to use some common options | 6 years ago |