Robert Wright cd3906645b Add RefC getArgs support		2021-05-20 14:25:16 +01:00
..
windows	[ re #1185 ] Add primitive for obtaining number of processors (#1209)	2021-03-26 18:27:25 +00: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	Move the Buffer struct back into the .c file.	2020-09-20 17:49:25 +02:00
idris_buffer.h	Move the Buffer struct back into the .c file.	2020-09-20 17:49:25 +02:00
idris_directory.c	Better default permissions for created directories	2021-01-10 11:54:15 +01:00
idris_directory.h	Fix forward declaration of idris_closeDir	2020-07-06 13:56:36 +01:00
idris_file.c	Add a total way of reading files in. (#1070)	2021-02-18 11:13:25 +00:00
idris_file.h	Add a total way of reading files in. (#1070)	2021-02-18 11:13:25 +00:00
idris_net.c	Fix issues with use of unix sockets (#1284)	2021-04-12 11:22:45 +01:00
idris_net.h	Fix issues with use of unix sockets (#1284)	2021-04-12 11:22:45 +01:00
idris_support.c	Add RefC getArgs support	2021-05-20 14:25:16 +01:00
idris_support.h	Add RefC getArgs support	2021-05-20 14:25:16 +01:00
idris_term.c	Windows color fix	2020-08-19 11:30:12 +02:00
idris_term.h	Windows color fix	2020-08-19 11:30:12 +02:00
Makefile	Change the way of creating directories.	2020-09-19 15:09:26 +02:00