• Packages
  • Themes
  • Documentation
  • Blog
  • Discuss
Sign in

language-agda

Agda language support for the Atom editor
banacorn
1.2.1 6,791
6
  • Repo
  • Bugs
  • Versions
  • License
Flag as spam or malicious

language-agda

Syntax highlighting for Agda with tree-sitter and context-free grammar

tree-sitter

Note

If you are getting errors like Failed to load a language-agda package grammar after upgrading Atom, please uninstall and then reinstall the package.

Why does my Agda look so dull?

That's probably because the version of Atom or language-agda you are using is too old. Humans were (and still are) highlighting source codes with regular expressions until very very recently. Please consider upgrading them to the latest version. If you are getting some scary error during the upgrade, please uninstall and then reinstall language-agda

How to contribute

  1. clone the repo and load it as a development package
  2. open the repo in the development mode
apm develop language-agda
atom -d ~/github/language-agda

I think this package is bad news.

Good catch. Let us know what about this package looks wrong to you, and we'll investigate right away.

  • Terms of Use
  • Privacy
  • Code of Conduct
  • Releases
  • FAQ
  • Contact
with by