Idris/iutils-raku
1
0
Fork 0
Code Issues Pull requests Actions Packages Projects Releases Wiki Activity
Prototype development toolkit for idris
27 commits 1 branch 0 tags 85 KiB
Raku 100%
Find a file
Nathan McCarty b28b91d5d2 Working idris2 error detection 
Idris 2 doesn't have a failing exit code in this context when it fails
to compile an expr given at the command line, we need to check for an
error message in the output
2025-01-02 00:00:13 -05:00
bin Improve test running 2024-12-31 19:08:42 -05:00
examples/testy Working idris2 error detection 2025-01-02 00:00:13 -05:00
lib Working idris2 error detection 2025-01-02 00:00:13 -05:00
.envrc Update envrc 2024-12-31 17:28:21 -05:00
.gitignore Update envrc 2024-12-31 17:28:21 -05:00
META6.json Fix META6 2024-12-31 16:19:02 -05:00