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