mirror of
https://github.com/idris-lang/Idris2.git
synced 2024-09-22 02:37:48 +03:00
f749f3e277
Windows fixes |
||
---|---|---|
.. | ||
windows | ||
getline.c | ||
getline.h | ||
idris_buffer.c | ||
idris_buffer.h | ||
idris_directory.c | ||
idris_directory.h | ||
idris_file.c | ||
idris_file.h | ||
idris_support.c | ||
idris_support.h | ||
Makefile |