stoand / kakoune-arend Public

Notifications You must be signed in to change notification settings
Fork 0
Star 0

Unofficial syntax highlighting for the Arend Language for the Kakoune editor

0 stars 0 forks Branches Tags Activity

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 9 Commits
README.md		README.md
arend.kak		arend.kak

Repository files navigation

Kakoune Arend

Unofficial syntax highlighting for the Arend Language for the Kakoune editor.

Contributions are welcome.

Installation

Run:

git clone github.com/stoand/kakoune-arend ~/.kakoune-arend

Then add this to your ~/.config/kak/kakrc file:

source ~/.kakoune-arend/arend.kak

About

Unofficial syntax highlighting for the Arend Language for the Kakoune editor

plugin kakoune proofs homotopy-type-theory arend arend-lang

Report repository