AddDefaultCharset UTF-8
AddType text/plain .agda