GitHub / stoand / kakoune-arend

Unofficial syntax highlighting for the Arend Language for the Kakoune editor

JSON API: http://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/stoand%2Fkakoune-arend
PURL: pkg:github/stoand/kakoune-arend

Stars: 0
Forks: 0
Open issues: 0

License: None
Language:
Size: 3.91 KB
Dependencies parsed at: Pending

Created at: over 4 years ago
Updated at: over 1 year ago
Pushed at: over 4 years ago
Last synced at: over 1 year ago

Topics: arend, arend-lang, homotopy-type-theory, kakoune, plugin, proofs

Loading...