import agda from "refractor/lang/agda.js";
;
export default agda;