banacorn agda-mode issues

banacorn / agda-mode

agda-mode on Atom

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

MIT License

58 stars 14 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

undo history grouping

#82 ghost closed 5 years ago
4
Add config for custom unicode escapes

#81 junewunder closed 5 years ago
2
Uncaught TypeError: e.trim is not a function

#80 junewunder closed 5 years ago
2
Custom unicode character codes

#79 junewunder closed 5 years ago
12
Key binding changes should be for agda files only

#78 freeman42x opened 5 years ago
6
On windows, syntax errors result in "could not read property of 'push' of undefined"

#77 Invisible-Rabbit-Hunter closed 5 years ago
1
Case-splitting gives error "Cannot read property 'push' of undefined" on Windows

#76 Invisible-Rabbit-Hunter closed 5 years ago
7
Spaces break the executable path in Windows

#75 dylanbraithwaite closed 5 years ago
4
Uncaught TypeError: Cannot read property 'length' of undefined

#74 marnen closed 5 years ago
3
autocomplete-plus provider for Agda

#73 buggymcbugfix opened 6 years ago
3
Unicode input issue

#72 buggymcbugfix closed 5 years ago
7
How to accept unicode input without moving cursor?

#71 buggymcbugfix closed 5 years ago
10
Fix Unicode input example

#70 buggymcbugfix closed 6 years ago
1
Cannot read property '0' of undefined in Atom

#69 abrisan closed 5 years ago
5
windows unhelpful err msg: can't "connect" to agda, Cannot read property 'push' of undefined

#68 rjstone closed 5 years ago
3
Missing commands

#67 gallais opened 6 years ago
1
\Tb should include other triangles

#66 banacorn closed 6 years ago
3
.lagda.md support

#65 jonaprieto opened 6 years ago
2
floating of goal numbers

#64 jonaprieto opened 6 years ago
1
Input for super-indexes doesn't work well

#63 jonaprieto closed 6 years ago
2
Verbose Panel

#62 jonaprieto closed 6 years ago
8
Show the panel when open an agda file

#61 jonaprieto closed 6 years ago
3
Menu options

#60 jonaprieto closed 6 years ago
6
Unicode input with two or more cursors

#59 banacorn closed 6 years ago
4
Interaction holes appearing in wrong place

#58 DrNico closed 6 years ago
1
Uncaught TypeError: Cannot read property 'activate' of undefined

#57 jonaprieto closed 6 years ago
2
Loop?

#56 jonaprieto closed 6 years ago
3
Unable to compile

#55 marcosh closed 6 years ago
2
Handle library related errors with grace

#54 banacorn closed 6 years ago
0
Uncaught unknown command agda-mode:info

#53 subttle closed 6 years ago
3
Uncaught No candidate connections error: No candidate connections available

#52 equivalence1 closed 7 years ago
2
Type error on hole-related operations

#51 aochagavia closed 7 years ago
13
Improve automatic proof search by supporting options

#50 andrevidela closed 7 years ago
1
Look only for "agda" in data-grammar

#49 yitzchak closed 7 years ago
1
Changes required due to TextBuffer.save becoming async in Atom 1.19

#48 maxbrunsfeld closed 7 years ago
1
Order of candidates of symbols got messed up

#47 banacorn closed 7 years ago
0
Query Unicode Characters

#46 subttle closed 7 years ago
2
Cannot input character "∎" (U+220E END OF PROOF)

#45 exists-forall closed 7 years ago
1
Added missing \qed symbol

#44 danilkolikov closed 7 years ago
1
Compute Normal Form not working with Agda 2.5.2

#43 Johhagg closed 7 years ago
1
Deprecated selector in `agda-mode/styles/agda-mode.atom-text-editor.less`

#42 banacorn closed 7 years ago
0
Support compute normal form in Agda 2.6

#41 banacorn closed 7 years ago
5
Please share the path of your agda executable here

#40 banacorn closed 5 years ago
7
C-c C-n

#39 jonaprieto closed 7 years ago
10
Uncaught TypeError: Cannot read property 'commander' of undefined

#38 DanielRrr closed 7 years ago
3
Fix \\n responses in windows

#37 NightRa closed 8 years ago
2
Optimize SExpression Parsing

#36 NightRa closed 8 years ago
9
Fix path parsing with valid \n

#35 NightRa closed 8 years ago
1
Input sequences that contain "\", "(" or "{" don't work correctly

#34 demin-dmitriy closed 8 years ago
4
Windows support: spawn

#33 NightRa closed 8 years ago
3

Previous Next