The best editor for working with Agda, a rigorous dependently typed language, is apparently the dynamic typed Emacs! http://t.co/yphJPv1MbC