New style of setting up agda-mode
Agda setup for CUFP tutorial
Install elm-mode
Unbind M-. in Evil
TARDIS: Generalized jumping over formulas to simplify
Use cabal repl instead of ghci in haskell-interactive
Use flycheck-haskell, remove flycheck-hdevtools (hdevtools doesnt compile)
Add flycheck-liquid, dont use it yet (no cabal support)
Update acg.el to 1.1
F# mode
New quick setup instructions for OCaml dev
Switch to MELPA stable
ghc-mod
Add liquid flycheck, doesnt work yet though
LiquidHaskell on Flycheck working
Evict Scala
Update autogened abbrev_defs
Use Cider from MELPA instead of vendor
Use both MELPA and MELPA-STABLE (ghc)
Adapt to new Flycheck error levels