name: pygments-rzk
description: Pygments lexer for Rzk language (of proof assistant for synthetic ∞-categories).
license_spdx: BSD-3-Clause-Attribution
version: 0.1.4
spec_version: 1.0
home_url: https://github.com/rzk-lang/pygments-rzk
news_url: https://libraries.io/pypi/pygments-rzk/versions.atom
date: 2023-09-07
about_resource: NONE
libraries_io_url: https://libraries.io/pypi/pygments-rzk?number=0.1.4
vcs_tool: git
vcs_repository: https://github.com/rzk-lang/pygments-rzk
vcs_branch: main
