@wooorm/starry-night/lang/source.lean.markdown.d.ts.map

Syntax highlighting, like GitHub

{"version":3,"file":"source.lean.markdown.d.ts","sourceRoot":"","sources":["source.lean.markdown.js"],"names":[],"mappings":";AAAA;;GAEG;AAEH,sBAAsB;AACtB,uBADW,OAAO,CA47CjB;6BA/7CyB,sBAAsB"}