idris2 --cg racket -o Hello Hello.idr

./build/exec/Hello