| .. |
| windows | Add some more file operations | 6 years ago |
| .gitignore | Fix building shared libraries with correct extensions | 6 years ago |
| getline.c | Move file management to C support library | 6 years ago |
| getline.h | Move file management to C support library | 6 years ago |
| idris_buffer.c | Move buffer API to C | 6 years ago |
| idris_buffer.h | Move buffer API to C | 6 years ago |
| idris_directory.c | Fix and test directory code | 6 years ago |
| idris_directory.h | Move directory code to C | 6 years ago |
| idris_file.c | Fix and test directory code | 6 years ago |
| idris_file.h | Add some more file operations | 6 years ago |
| idris_support.c | More system functions | 6 years ago |
| idris_support.h | More system functions | 6 years ago |
| Makefile | Remove Chicken CG deps from CI tests | 6 years ago |