search

rzk-lang / vscode-rzk

Visual Studio Code Extension(s) for Rzk proof assistant.
https://marketplace.visualstudio.com/items?itemName=NikolaiKudasovfizruk.rzk-1-experimental-highlighting
Other
8 stars 1 forks source link

Add icon for `.rzk.tex` #8

Closed fredrik-bakke closed 1 year ago

fredrik-bakke commented 1 year ago

Similar to #4, but for literate LaTeX files.

fizruk commented 1 year ago

Closed by #13.