agda-mode:refine
agda-mode:case
agda-mode:auto
agda-mode:normaliz
not sure what have i done or what i am going to do, but i will commit anyway :p
IM working
view modes
fix IM quit
deactivate IM nicely
refactored agda-mode.coffee