raco demod -o hellod -g hello.rkt - OK raco exe -o hellodemod hellod - OK raco exe -o hello hello.rkt - for comparison
ls -al:
-rwxr-xr-x 1 stephendegabrielle staff 5995474 13 Oct 19:37 hello
-rwxr-xr-x 1 stephendegabrielle staff 133719 13 Oct 19:31 hellodemod
Wow-wee! that is quite a difference in file size!
Lets try it out:
% time ./hello
hello world
./hello 0.09s user 0.03s system 88% cpu 0.135 total
% time ./hellodemod
hello world
./hellodemod 0.04s user 0.03s system 89% cpu 0.075 total
I won't pretend to have bothered to look up what time shows me, I just know smaller=better.