..
windows
Add function that checks whether a file handle points to a TTY device. ( #1908 )
2021-09-10 08:05:21 +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
Remove DirInfo.error
2021-08-30 17:08:15 +01:00
idris_directory.h
Use pragma once instead of include guard
2021-06-28 12:05:22 +01:00
idris_file.c
Fix compilation on OpenBSD
2021-12-12 11:42:33 -08:00
idris_file.h
Return error code from pclose
2021-11-05 11:59:17 +00:00
idris_memory.c
IDRIS2_VERIFY macro
2021-07-13 13:57:24 +01:00
idris_memory.h
Expose malloc and free from System.FFI
2021-07-13 10:24:26 +01:00
idris_net.c
[fix] Loading libidris2_support.dll with Racket ( #1583 )
2021-07-21 14:35:21 +01:00
idris_net.h
[fix] Loading libidris2_support.dll with Racket ( #1583 )
2021-07-21 14:35:21 +01:00
idris_signal.c
Replace per signal counter with per signal flag
2021-07-16 11:31:53 +01:00
idris_signal.h
Use pragma once instead of include guard
2021-06-28 12:05:22 +01:00
idris_support.c
IDRIS2_VERIFY macro
2021-07-13 13:57:24 +01:00
idris_support.h
System.Errno.strerror
2021-07-13 10:34:04 +01:00
idris_system.c
[ re #238 ] Fix program error condition of git diff call in Golden ( #2119 )
2021-12-22 13:33:37 -08: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
idris_util.c
IDRIS2_VERIFY macro
2021-07-13 13:57:24 +01:00
idris_util.h
IDRIS2_VERIFY macro
2021-07-13 13:57:24 +01:00
Makefile
Make RefC search for files in data dirs
2021-12-10 14:30:46 +00:00
7834539240