idris-lang/Idris2
1
1
Fork 0
mirror of https://github.com/idris-lang/Idris2.git synced 2024-09-21 10:18:23 +03:00
Code Issues Projects Releases Wiki Activity
b7cf3588c9
Idris2/support/c
History
Markus Pfeiffer 0b32bf8a2f Fix forward declaration of idris_closeDir
2020-07-06 13:56:36 +01:00
..
windows simplify win32_modenv 2020-06-16 14:09:12 +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 Remove unused functions from idris_buffer.c 2020-06-11 17:35:29 +02:00
idris_buffer.h Remove unused functions from idris_buffer.c 2020-06-11 17:35:29 +02:00
idris_directory.c Make Buffer more primitive 2020-06-11 14:05:52 +01:00
idris_directory.h Fix forward declaration of idris_closeDir 2020-07-06 13:56:36 +01:00
idris_file.c Extend Control.App.FileIO 2020-06-12 17:30:54 +02:00
idris_file.h Extend Control.App.FileIO 2020-06-12 17:30:54 +02: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 Handle overwrite on windows 2020-06-16 13:44:10 +02:00
idris_support.h Add missing C support 2020-05-18 14:51:28 +01:00
Makefile Use GetSystemTimeAsFileTime on older Windows 2020-06-02 10:30:44 +08:00