An emacs major-mode for editing magma files