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
..
IUtils	Working idris2 error detection	2025-01-02 00:00:13 -05:00
IUtils.rakumod	Properly support multi-word test names	2024-12-31 20:55:29 -05:00