|
windows
|
Remove dependency on pthreads on Windows
|
2020-05-24 19:56:26 +02:00 |
|
.gitignore
|
Update .gitignore files
|
2020-05-19 17:49:21 +06:00 |
|
getline.c
|
Add missing C support
|
2020-05-18 14:51:28 +01:00 |
|
getline.h
|
Add missing C support
|
2020-05-18 14:51:28 +01:00 |
|
idris_buffer.c
|
Add missing C support
|
2020-05-18 14:51:28 +01:00 |
|
idris_buffer.h
|
Add missing C support
|
2020-05-18 14:51:28 +01:00 |
|
idris_directory.c
|
Add rmDir to System.Directory
|
2020-05-18 18:28:33 +01:00 |
|
idris_directory.h
|
Add missing C support
|
2020-05-18 14:51:28 +01:00 |
|
idris_file.c
|
Add missing C support
|
2020-05-18 14:51:28 +01:00 |
|
idris_file.h
|
Add missing C support
|
2020-05-18 14:51:28 +01:00 |
|
idris_net.c
|
Move network support to libidris2_support
|
2020-05-23 15:52:33 +01:00 |
|
idris_net.h
|
Move network support to libidris2_support
|
2020-05-23 15:52:33 +01:00 |
|
idris_support.c
|
Remove dependency on pthreads on Windows
|
2020-05-24 19:56:26 +02:00 |
|
idris_support.h
|
Add missing C support
|
2020-05-18 14:51:28 +01:00 |
|
Makefile
|
Fix Windows build
|
2020-05-23 18:05:55 +02:00 |
