Search results

Regexp for recognising source directories was wrong.

Status: Open.

#633 In idris-hackers/idris-mode;

· jfdm opened on Jul 4, 2024

The State of the CI.

Status: Open.

#629 In idris-hackers/idris-mode;

· jfdm opened on Jun 10, 2024

idris-mode versus idris2-mode

Status: Open.

#626 In idris-hackers/idris-mode;

· jgarte opened on May 13, 2024

Flymake Support

nice to have

Status: Open.

#625 In idris-hackers/idris-mode;

· jgarte opened on Apr 22, 2024

Nested Packages Can't Find Their Parents

Status: Open.

#624 In idris-hackers/idris-mode;

· rvs314 opened on Feb 20, 2024

rlwrap for repl

Status: Open.

#617 In idris-hackers/idris-mode;

· ju-sh opened on Mar 7, 2023

Triage extant issues and PRs

Status: Open.

#597 In idris-hackers/idris-mode;

· jfdm opened on Dec 13, 2022

 ·  

Preparing for a 1.1 release.

Flycheck is broken.

Status: Open.

#596 In idris-hackers/idris-mode;

· jfdm opened on Dec 13, 2022

 ·  

Preparing for a 1.1 release.

Make sure the CHANGELOG is up-to-date.

Status: Open.

#595 In idris-hackers/idris-mode;

· jfdm opened on Dec 13, 2022

 ·  

Preparing for a 1.1 release.

Does compile&execute work?

Status: Open.

#552 In idris-hackers/idris-mode;

· gallais opened on May 25, 2022

integrate idris-mode and idris2-mode

Status: Open.

#539 In idris-hackers/idris-mode;

· ywata opened on Jul 28, 2021

Bad syntax highlighting of .lidr files

Status: Open.

#506 In idris-hackers/idris-mode;

· nicolabotta opened on Dec 29, 2019