[xmonad] organized imports
[emacs/haskell] quick and dirty, structured-haskell-mode
[emacs] short answers (yes/y, no/n)
[emacs] load agda config