search

zksecurity / noname

Noname: a programming language to write zkapps
https://zksecurity.github.io/noname/
178 stars 44 forks source link

feat: add syntax highlighting for GitHub web viewer #86

Closed erhant closed 3 months ago

erhant commented 3 months ago

By using .gitattributes we can let GitHub treat .no files as .rust files, therefore enable syntax highlighting within the example codes. Note that this will also count .no files LOC as Rust LOC as well, contributing to overall percentage as appears at https://github.com/search?q=repo%3Azksecurity%2Fnoname++language%3ARust&type=code

See live example https://github.com/erhant/noname/blob/main/examples/sudoku.no

erhant commented 3 months ago

oh damn, just noticed https://github.com/zksecurity/noname/pull/84

mimoo commented 3 months ago

ah too bad ^^ it'd be also nice to have a real plugin for vscode haha