Search results

Make AvailProject From avail-artifact a 1st Class Citizen of Avail

enhancement

Status: Open.

#313 In AvailLang/Avail;

· richATavail opened on Nov 9, 2023

Natively Manage Avail Project in IntelliJ Plugin

enhancement

ideaIntelliJ PluginIntelliJ Plugin

Status: Open.

#308 In AvailLang/Avail;

· richATavail opened on Oct 9, 2023

Create New Avail Project

enhancement

ideaIntelliJ PluginIntelliJ Plugin

Status: Open.

#307 In AvailLang/Avail;

· richATavail opened on Oct 9, 2023

Find References Request

enhancement

lspLanguage Server ProtocolLanguage Server Protocol

Status: Open.

#306 In AvailLang/Avail;

· toddATavail opened on Oct 5, 2023

Go To Implementation Request

enhancement

lspLanguage Server ProtocolLanguage Server Protocol

Status: Open.

#305 In AvailLang/Avail;

· toddATavail opened on Oct 5, 2023

Go To Declaration Request

enhancement

lspLanguage Server ProtocolLanguage Server Protocol

Status: Open.

#304 In AvailLang/Avail;

· toddATavail opened on Oct 5, 2023

Go To Type Definition Request

enhancement

lspLanguage Server ProtocolLanguage Server Protocol

Status: Open.

#303 In AvailLang/Avail;

· toddATavail opened on Oct 5, 2023

Go To Definition Request

enhancement

lspLanguage Server ProtocolLanguage Server Protocol

Status: Open.

#302 In AvailLang/Avail;

· toddATavail opened on Oct 4, 2023

Polymorphic macros seem to run all implementations

Status: Open.

#278 In AvailLang/Avail;

· markATavail opened on Aug 23, 2023

Resource name can sometimes be empty, opening causes exception

bug

Status: Open.

#257 In AvailLang/Avail;

· richATavail opened on Feb 10, 2023

Shift + click to open module is unreliable

bug

Status: Open.

#256 In AvailLang/Avail;

· richATavail opened on Feb 10, 2023

Create way for workbench to ignore files that should not be shown as resources

enhancement

Status: Open.

#255 In AvailLang/Avail;

· richATavail opened on Feb 10, 2023