"Agda" not supported?
Open
- Dominant language
- CoffeeScript
- Stars
- 972
- Forks
- 80
- PR merge metrics
- No merged PRs in 30d
Description
It does say on the readme that agda is supported but my agda files (with the .agda) extension, it errors that it is not supported. Potentially this version hasn't been pushed to npm yet. I did install it from there.
Contributor guide
No contributing guide indexed for this repository
Assessment
This issue has not been assessed yet.