mirror of
https://github.com/idris-lang/Idris2.git
synced 2024-12-21 02:31:50 +03:00
52c21c6182
We shouldn't strictly need this, but it doesn't do any harm, and it also means we can use --inc chez in the build if we do. Let's see if it helps or hinders the CI problem...
10 MiB
Executable File
Generated
10 MiB
Executable File
Generated
The file is too large to be shown.
View Raw