| .. |
| Network | provide building blocks for binary network I/O | 6 years ago |
| .gitignore | Improve .gitignore patterns | 6 years ago |
| Echo.idr | remove another message to make network tests more reliable | 7 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 | Move network test to chez test suite | 6 years ago |
| network.ipkg | got code to compile | 7 years ago |
| test.c | provide building blocks for binary network I/O | 6 years ago |