rzk-1-experimental-highlighting README

This is a simple syntax highlighter for rzk, an experimental proof assistant for synthetic ∞-categories.

Release Notes

0.0.1

Initial release of the Syntax Highlighter for rzk

0.0.2

Do not treat < and > as brackets in the extension.

0.2.0

Support rzk code blocks in Markdown files.