rdesign/frontend/node_modules/react-syntax-highlighter/dist/esm/languages/prism/idris.js

3 lines
68 B
JavaScript

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