. ../../testutils.sh

idris2 --cg node EvenOdd.idr -o app.js
run Main.idr
