xmonad: make it harder to quit accidentally
emacs Agda-mode: not using categories or HoTT-Agda libraries right now
Merge branch 'master' of github.com:byorgey/dotfiles