idris-lang/Idris2
1
1
Fork 0
mirror of https://github.com/idris-lang/Idris2.git synced 2024-09-21 18:32:44 +03:00
Code Issues Projects Releases Wiki Activity
ef6cbcf658
Idris2/support/js
History
Rui Barreiro 68c9990c8a moved big foreign functions to support and added outputDir
2020-07-06 16:58:02 +01:00
..
support_system_directory.js moved big foreign functions to support and added outputDir 2020-07-06 16:58:02 +01:00
support_system_file.js moved big foreign functions to support and added outputDir 2020-07-06 16:58:02 +01:00