idris-lang/Idris2
1
1
Fork 0
mirror of https://github.com/idris-lang/Idris2.git synced 2024-12-21 02:31:50 +03:00
Code Issues Projects Releases Wiki Activity
1,757 Commits 6 Branches 9 Tags 115 MiB
b32a2593ff
Commit Graph

2 Commits

Author SHA1 Message Date
Niklas Larsson
b32a2593ff Node fixes 
Don't assume that errno exists. There might never have been an error.

Quote executable path to handle path with spaces.
 2021-04-12 16:43:54 +02:00
Rui Barreiro
68c9990c8a moved big foreign functions to support and added outputDir 2020-07-06 16:58:02 +01:00