Search results

changeDirectory() doesn't work with Idris 2

Status: Open.

#255 In idris-hackers/atom-language-idris;

· memoryallocator opened on Mar 25, 2022

Type Providers which output to stdout can hang the Atom mode

Status: Open.

#245 In idris-hackers/atom-language-idris;

· donald-pinckney opened on May 16, 2020

Multi-line pkgs parsed incorrectly

bug

Status: Open.

#241 In idris-hackers/atom-language-idris;

· SmiVan opened on Jan 14, 2020

Some keybindings don't work (e.g. Ctrl+Alt+S)

Status: Open.

#234 In idris-hackers/atom-language-idris;

· mattnewport opened on Nov 26, 2019

Default keybindings conflict with "Terminator"

Status: Open.

#226 In idris-hackers/atom-language-idris;

· CodingCellist opened on Jan 27, 2019

Uncaught Cannot call write after a stream was destroyed

Status: Open.

#224 In idris-hackers/atom-language-idris;

· CodingCellist opened on Jan 3, 2019

Uncaught At 0 expected: ( found: b

bug

Status: Open.

#223 In idris-hackers/atom-language-idris;

· CodingCellist opened on Jan 3, 2019

Run with bazel built idris projects

Status: Open.

#222 In idris-hackers/atom-language-idris;

· shmish111 opened on Dec 12, 2018

Idris compiler crash

Status: Open.

#221 In idris-hackers/atom-language-idris;

· machunter opened on Dec 2, 2018

Error -4058 can't find idris executable

Status: Open.

#220 In idris-hackers/atom-language-idris;

· GSmithApps opened on Nov 5, 2018

Blodwen compatibility

enhancement

Status: Open.

#219 In idris-hackers/atom-language-idris;

· justjoheinz opened on Oct 28, 2018

Uncaught Error: This socket has been ended by the other party

bug

idris

Status: Open.

#208 In idris-hackers/atom-language-idris;

· bukzor opened on Sep 2, 2018