Skip to content

/ language-agda

Agda language support for VSCode, based on https://github.com/mokus0/Agda.tmbundle

BSD-3-Clause License
6 stars 2 forks
Star
Watch
master
1 branch 6 tags
Go to file
Code
Clone

Use Git or checkout with SVN using the web URL.

Latest commit

 

Git stats

Files

Permalink
Failed to load latest commit information.
Type
Name
Latest commit message
Commit time
.vscode
 
 
images
 
 
snippets
 
 
syntaxes
 
 
LICENSE
 
 
README.md
 
 
language-configuration.json
 
 
package.json
 
 

README.md

language-agda

Agda language support for VSCode, based on https://github.com/mokus0/Agda.tmbundle

Screenshot

screenshot

Features

  • Syntax highlighting for Agda
  • Snippets for common unicode characters (η,λ, etc.)

Contributions

Bug reports, pull requests, feature requests are welcome

About

Agda language support for VSCode, based on https://github.com/mokus0/Agda.tmbundle

Resources

Readme

License

BSD-3-Clause License

Releases

6 tags

Packages

No packages published

Contributors 2

  •  
  •  
You can’t perform that action at this time.