banacorn language-agda issues

banacorn / language-agda

Agda language support for the Atom editor

https://atom.io/packages/language-agda

MIT License

13 stars 5 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

Failed to load a language-agda package grammar

#38 GA-Moore opened 2 years ago
0
Failed to load a language-agda package grammar

#37 calintat opened 3 years ago
0
Failed to load a language-agda package grammar

#36 ggreif opened 3 years ago
0
Installing “language-agda@1.2.0” failed

#35 andyfreeyy closed 4 years ago
1
Failed to load a language-agda package grammar

#34 Dsolnik opened 4 years ago
1
Support Literate Markdown Agda?

#33 drcicero opened 4 years ago
3
Highlighting delimiters

#32 zraffer opened 4 years ago
1
Failed to load a language-agda package grammar

#31 nikoloz-pachuashvili opened 4 years ago
1
using keyword not highlighted when indented in next line

#30 pnlph opened 4 years ago
4
Create doc/README.md

#29 pnlph closed 4 years ago
0
syntax color assignment

#28 pnlph opened 4 years ago
5
Update README.md

#27 ggreif closed 4 years ago
1
Failed to load a language-agda package grammar

#26 junewunder closed 4 years ago
2
Failed to load a language-agda package grammar

#25 jaiyalas closed 4 years ago
1
Failed to load a language-agda package grammar

#24 nasherm opened 4 years ago
2
Failed to load a language-agda package grammar

#23 banacorn closed 4 years ago
1
Failed to load a language-agda package grammar

#22 marnen closed 4 years ago
3
Failed to load a language-agda package grammar

#21 BekaValentine closed 4 years ago
4
Failed to load a language-agda package grammar

#20 eeoam closed 4 years ago
3
Failed to load a language-agda package grammar

#19 banacorn closed 4 years ago
0
Set₀ Set₁ ... Setω

#18 zraffer opened 5 years ago
1
Add `rewrite` as keyword

#17 buggymcbugfix closed 5 years ago
0
Fix typo

#16 buggymcbugfix closed 5 years ago
3
tree-sitter-agda: "prebuild-install || node-gyp rebuild" fails (1.0.5 on windows 10)

#15 rjstone closed 5 years ago
6
Failed to load a language-agda package grammar

#14 fabrizioschiavi closed 5 years ago
4
Unicode input with two or more cursors

#13 jonaprieto closed 5 years ago
1
Installation problems of the version 1.0.3

#12 jonaprieto closed 5 years ago
7
Problem with $ dollar sign

#11 jonaprieto closed 6 years ago
2
Failed to load a language-agda package grammar

#10 scmu closed 6 years ago
1
the new grammar needs fix

#9 zraffer closed 6 years ago
2
tree-sitter-agda build error

#8 zraffer closed 6 years ago
13
Add LaTeX based Literate Agda support

#7 yitzchak closed 6 years ago
1
Problem with nested {- -} comments

#6 scmu closed 6 years ago
0
Many keywords do not highlight as such

#5 exists-forall closed 6 years ago
2
Fix single-line comment highlights

#4 robrene closed 7 years ago
1
Is not working in the last version of Atom 1.7.2?

#3 jonaprieto closed 7 years ago
2
Adapated https://github.com/banacorn/agda-mode-st3/blob/master/Syntax…

#2 TheoWinterhalter closed 9 years ago
1
Fix highlighting of option pragmas

#1 audreyt closed 9 years ago
2