Stiopa Koltsov 1617d95961 System.Errno.strerror ... * add `strerror` function * move `getErrno` to `System.Errno` * use `strerror` in `Show FileError` * on node there's no access to `strerror`, so `strerror` just converts the number to string		2021-07-13 10:34:04 +01:00
..
windows	Simple signal handling (#1458)	2021-05-25 16:45:46 +01: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	Use pragma once instead of include guard	2021-06-28 12:05:22 +01:00
idris_directory.c	Better default permissions for created directories	2021-01-10 11:54:15 +01:00
idris_directory.h	Use pragma once instead of include guard	2021-06-28 12:05:22 +01:00
idris_file.c	Distinguish common C and RefC Buffer functions	2021-06-14 15:06:44 +01:00
idris_file.h	Use pragma once instead of include guard	2021-06-28 12:05:22 +01:00
idris_memory.c	Expose malloc and free from System.FFI	2021-07-13 10:24:26 +01:00
idris_memory.h	Expose malloc and free from System.FFI	2021-07-13 10:24:26 +01:00
idris_net.c	Expose malloc and free from System.FFI	2021-07-13 10:24:26 +01:00
idris_net.h	Expose malloc and free from System.FFI	2021-07-13 10:24:26 +01:00
idris_signal.c	Make System.Signal async-signal-safe	2021-07-12 20:43:26 +01:00
idris_signal.h	Use pragma once instead of include guard	2021-06-28 12:05:22 +01:00
idris_support.c	System.Errno.strerror	2021-07-13 10:34:04 +01:00
idris_support.h	System.Errno.strerror	2021-07-13 10:34:04 +01:00
idris_system.c	Route System.prim__system through C function	2021-06-28 11:28:14 +01:00
idris_system.h	Route System.prim__system through C function	2021-06-28 11:28:14 +01:00
idris_term.c	Windows color fix	2020-08-19 11:30:12 +02:00
idris_term.h	Use pragma once instead of include guard	2021-06-28 12:05:22 +01:00
Makefile	Change the way of creating directories.	2020-09-19 15:09:26 +02:00