idris-lang/Idris2
1
1
Fork 0
mirror of https://github.com/idris-lang/Idris2.git synced 2024-12-19 01:01:59 +03:00
Code Issues Projects Releases Wiki Activity
3,548 Commits 6 Branches 9 Tags 114 MiB
1906c75433
Commit Graph

6 Commits

Author SHA1 Message Date
Guillaume Allais
c38e6bcfa9 [ lint ] once and for all 2022-09-21 12:12:34 +01:00
Stiopa Koltsov
60d597fccd Use pragma once instead of include guard 
Pragma once is supported by all compilers for the last ten years.
Better use it instead of include guards (which use different styles
in different files).
 2021-06-28 12:05:22 +01:00
Markus Pfeiffer
0b32bf8a2f Fix forward declaration of idris_closeDir 2020-07-06 13:56:36 +01:00
Kamil Shakirov
307265aaab Update C support header files 2020-05-24 00:41:53 +06:00
Kamil Shakirov
f696335f2d Rename some file/dir manipulation functions 
Renamed:

fileRemove -> removeFile

dirOpen -> openDir
dirClose -> closeDir
rmDir -> removeDir
 2020-05-21 18:32:35 +06:00
Edwin Brady
80450bbc8e Add missing C support 2020-05-18 14:51:28 +01:00