pushing text file with source since original .rkt file does not show up correctly on github