Agda mode

MIME types defined: text/x-agda.