Detect *.rzk.md as markdown and ignore overrides - Githubissues

rzk-lang / sHoTT

Formalisations for simplicial HoTT and synthetic ∞-categories.

https://rzk-lang.github.io/sHoTT/

44 stars 12 forks source link

Detect *.rzk.md as markdown and ignore overrides #63

Closed aabounegm closed 1 year ago