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