arend-lang / arend-tmbundle

For GitHub linguist's syntax highlighting

Syntax highlighting for Arend

This repository contains (rudimentary) syntax highlighting for Arend

For GitHub

To make a change to this grammar:

• change Arend.yml accordingly (see the documentation of the grammar format),
• test your changes on Lightshow,
• generate the Arend.tmLanguage file using this script,
• commit and push your changes (or send a pull request to this repository),
• wait patiently for the next release and deployment of linguist on GitHub, the changes here will be taken into account automatically.

For Sublime Text and bat

The command line tool bat and Sublime Text can use Arend.sublime-syntax to syntax highlight Arend.

To use it in bat:

mkdir -p "$(bat --config-dir)/syntaxes"
cd "$(bat --config-dir)/syntaxes"

git clone https://github.com/arend-lang/arend-tmbundle
bat cache --build