:lang agda This module adds support for the agda programming language. The Emacs support exists directly in the agda repository but not in melpa.