Skip to content

aya-prover/aya-tmbundle

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

22 Commits
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

Syntax highlighting for Aya

This repository contains (rudimentary) syntax highlighting for Aya

For GitHub

To make a change to this grammar:

  • change Aya.yml accordingly (see the documentation of the grammar format),
  • test your changes on Lightshow,
  • generate the Aya.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 VSCode

We only use tmLanguage to highlight keywords because we don't think regex a good choice of doing that regardless of the complexity of the language.

About

For GitHub linguist's syntax highlighting

Resources

License

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published