3 lines
65 B
JavaScript
3 lines
65 B
JavaScript
import agda from "refractor/lang/agda.js";
|
|
;
|
|
export default agda; |
import agda from "refractor/lang/agda.js";
|
|
;
|
|
export default agda; |