Search results

Does not work with idris2 0.2.0 producing confusing error message

Status: Open.

#13 In idris-hackers/idris-sublime;

· uzytkownik opened on Aug 19, 2020

"implementation" and "interface" not seen as keywords

Status: Open.

#10 In idris-hackers/idris-sublime;

· david-christiansen opened on Apr 10, 2017

Highlighting is highly incorrect

Status: Open.

#9 In idris-hackers/idris-sublime;

· be5invis opened on Apr 9, 2017

Consider using Idris's IDE mode

Status: Open.

#3 In idris-hackers/idris-sublime;

· david-christiansen opened on Jun 5, 2015

Add this plugin to the Package Control repository

Status: Open.

#2 In idris-hackers/idris-sublime;

· laughedelic opened on Jun 1, 2015