. ../../testutils.sh

idris2 -o main Main.idr

./build/exec/main
