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