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