Skip to content

agda/agda-github-syntax-highlighting

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

13 Commits
 
 
 
 
 
 
 
 
 
 

Repository files navigation

Syntax highlighting for Agda

This repository contains (rudimentary) syntax highlighting for Agda, for use on GitHub.

To make a change to this grammar:

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

About

Syntax highlighting used on GitHub

Resources

License

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages