we no longer use agda-mode locate Signed-off-by: Rudi Grinberg <rudi.grinberg@gmail.com>
This module adds support for the agda programming language. The Emacs support exists directly in the agda repository but not in melpa.
