|
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
|
Make the C code more explicit.
|
2020-09-19 14:32:45 +02:00 |
|
idris_buffer.h
|
Make the C code more explicit.
|
2020-09-19 14:32:45 +02:00 |
|
idris_directory.c
|
Make Buffer more primitive
|
2020-06-11 14:05:52 +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_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 |
