3 lines
62 B
JavaScript
Executable File
3 lines
62 B
JavaScript
Executable File
import coq from "refractor/lang/coq.js";
|
|
;
|
|
export default coq; |