trying to get learn.rkt to update, git is too much sometimes