drop haskell's unicode input method in favor of agda-mode
haskell: no more cabal-dev
fix load paths now org mode installs to the right dir
add idris-mode
agda-mode: upgrade
little org projects cleanup
haskell: enable structured-haskell-mode and turn of other indentors