add in a check ala lsp, this has been applied to every module with tree sitter support
This module adds support for the agda programming language. The Emacs support exists directly in the agda repository but not in melpa.
