How to make this all work!
- install racket, duh (
brew install racketon MacOS) raco pkg install pollen-- takes a whileraco pollen render- push the HTML and
styles.cssupstream, then wait a couple of minutes; the changes should eventually appear at https://offby1.github.io/
Don't "git rm" either the various *.html files, nor styles.css, even though those are not "source" (i.e., they can be trivially regenerated), because this repo is published via github.io, and those files need to be present.