Personal website

Building and deploying

./bin/deploy.sh

Development

One terminal: ./bin/deploy.sh --build

Another: cd website && devd -ol .

Try entr?

Things to do

https://pdf.math.dev/

TODO:

  • lab policies
  • update lab students