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
..
src	Add example	2025-01-01 02:57:02 -05:00
test	Working idris2 error detection	2025-01-02 00:00:13 -05:00
.gitignore	Add example	2025-01-01 02:57:02 -05:00
pack.toml	Add example	2025-01-01 02:57:02 -05:00
testy.ipkg	Add example	2025-01-01 02:57:02 -05:00