Idris/iutils-raku
1
0
Fork 0
Code Issues Pull requests Actions Packages Projects Releases Wiki Activity
27 commits 1 branch 0 tags 85 KiB
Commit graph

2 commits

Author SHA1 Message Date
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
Nathan McCarty a0ba82ab38 Add example 2025-01-01 02:57:02 -05:00