Idris2/tests/allschemes/channels003/run

mirror of https://github.com/idris-lang/Idris2.git synced 2024-12-21 10:41:59 +03:00
rm -rf build

$1 --no-banner --no-color --console-width 0 Main.idr --exec main
Add channel tests from Chez to Racket 2022-09-30 18:58:20 +03:00			`rm -rf build`

Remove codegen option from channel tests 2022-10-04 01:42:01 +03:00			`$1 --no-banner --no-color --console-width 0 Main.idr --exec main`