Search results

All undo commands are doubled

Status: Open.

#132 In banacorn/agda-mode;

· elidupree opened on Dec 23, 2020

support for literate Markdown Agda?

Status: Open.

#130 In banacorn/agda-mode;

· lclem opened on Aug 20, 2020

QuickLaTeX backend howto?

willdo

Status: Open.

#127 In banacorn/agda-mode;

· pnlph opened on May 28, 2020

Hole not expanding when placed before a closing parenthesis

Status: Open.

#126 In banacorn/agda-mode;

· banacorn opened on May 20, 2020

Go to definition for mixfix operators without underscore fails

bug

Status: Open.

#125 In banacorn/agda-mode;

· pnlph opened on May 16, 2020

Scope info does not provide links for the openings

enhancement

Status: Open.

#122 In banacorn/agda-mode;

· pnlph opened on Mar 22, 2020

Interacting within agda code in Atom

Status: Open.

#121 In banacorn/agda-mode;

· pnlph opened on Mar 21, 2020

Update README with Emacs/Atom commands

Status: Open.

#119 In banacorn/agda-mode;

· pnlph opened on Jan 3, 2020

Unicode input doesn't work

bug

Status: Open.

#113 In banacorn/agda-mode;

· bgavran opened on Sep 11, 2019

Non-termination of Agda file loading

Status: Open.

#106 In banacorn/agda-mode;

· vieillevigne opened on Jul 10, 2019

The errors are incorrectly located

Status: Open.

#99 In banacorn/agda-mode;

· mrakgr opened on May 20, 2019

integration with linter

enhancement

Status: Open.

#87 In banacorn/agda-mode;

· ghost opened on Mar 5, 2019