| .. |
|
windows
|
[ lint ] once and for all
|
2022-09-21 12:12:34 +01:00 |
|
.gitignore
|
Update .gitignore files
|
2020-05-19 17:49:21 +06:00 |
|
getline.c
|
[ lint ] once and for all
|
2022-09-21 12:12:34 +01:00 |
|
getline.h
|
[ lint ] once and for all
|
2022-09-21 12:12:34 +01:00 |
|
idris_directory.c
|
[ lint ] once and for all
|
2022-09-21 12:12:34 +01:00 |
|
idris_directory.h
|
[ lint ] once and for all
|
2022-09-21 12:12:34 +01:00 |
|
idris_file.c
|
[ new ] Add support for bi-directional pipes on POSIX systems (resolves #2935) (#2944)
|
2023-04-15 09:39:17 -05:00 |
|
idris_file.h
|
[ new ] Add support for bi-directional pipes on POSIX systems (resolves #2935) (#2944)
|
2023-04-15 09:39:17 -05:00 |
|
idris_memory.c
|
[ lint ] once and for all
|
2022-09-21 12:12:34 +01:00 |
|
idris_memory.h
|
[ lint ] once and for all
|
2022-09-21 12:12:34 +01:00 |
|
idris_net.c
|
[ network ] add binary support for socket + fix recvAll (#2308)
|
2022-02-16 20:12:24 +00:00 |
|
idris_net.h
|
[ network ] add binary support for socket + fix recvAll (#2308)
|
2022-02-16 20:12:24 +00:00 |
|
idris_signal.c
|
[ lint ] once and for all
|
2022-09-21 12:12:34 +01:00 |
|
idris_signal.h
|
Use pragma once instead of include guard
|
2021-06-28 12:05:22 +01:00 |
|
idris_support.c
|
[ base ] Add support for unbuffered stdin
|
2023-03-07 13:28:25 -08:00 |
|
idris_support.h
|
[ lint ] once and for all
|
2022-09-21 12:12:34 +01:00 |
|
idris_system.c
|
[ lint ] once and for all
|
2022-09-21 12:12:34 +01:00 |
|
idris_system.h
|
[ lint ] once and for all
|
2022-09-21 12:12:34 +01:00 |
|
idris_term.c
|
[ fix ] fix scheme002 test on windows
|
2023-08-03 23:16:14 +01:00 |
|
idris_term.h
|
Use pragma once instead of include guard
|
2021-06-28 12:05:22 +01:00 |
|
idris_util.c
|
[ lint ] once and for all
|
2022-09-21 12:12:34 +01:00 |
|
idris_util.h
|
[ lint ] once and for all
|
2022-09-21 12:12:34 +01:00 |
|
Makefile
|
implement DESTDIR support for distros
|
2023-08-22 16:44:13 +01:00 |
