Search results

State of the Project

Status: Open.

#42 In idris-community/idris2-mode;

· jgarte opened on May 13, 2024

How to use Pack dependencies?

Status: Open.

#40 In idris-community/idris2-mode;

· l-monnier opened on May 23, 2023

Document dependencies

Status: Open.

#33 In idris-community/idris2-mode;

· wuyoli opened on Oct 28, 2022

Eldoc does not show type

Status: Open.

#32 In idris-community/idris2-mode;

· tokinanpa opened on Oct 25, 2022

Idris holes are buggy

questionFurther information is requestedFurther information is requested

Status: Open.

#30 In idris-community/idris2-mode;

· olynch opened on Aug 31, 2022

idris2-complete-at-point throws error

Status: Open.

#27 In idris-community/idris2-mode;

· xavierzwirtz opened on Jul 27, 2022

If <code>idris2 --ide-mode-socket</code> is already running, <code>idris2-run</code> mistakenly tries to connect to port 98

Status: Open.

#26 In idris-community/idris2-mode;

· rntz opened on Jul 11, 2022

The README's advice for installing idris2-mode can break emacs startup

Status: Open.

#25 In idris-community/idris2-mode;

· rntz opened on Jul 11, 2022