Drop in slime as submodule.
Change default font.
Confirm before killing emacs.
Add cabal/bin to PATH.
custom-set some things for Agda.
Enable slime.