change font
more scheme syntax
disable agda for now
Merge branch 'master' of github.com:namin/.emacs.d