Search results

Do the IntellijIdeaRulezzz thing

feature request

Status: Open.

#39 In aya-prover/intellij-aya;

· ice1000 opened on Jun 13, 2025

Provide signature information in completion

feature request

Status: Open.

#38 In aya-prover/intellij-aya;

· ice1000 opened on Jun 13, 2025

Synchronize the mutation to <code>libraries</code>

Status: Open.

Task

#36 In aya-prover/intellij-aya;

· ice1000 opened on Feb 11, 2025

Add <code>aya-dev</code> as a submodule of this project?

questionFurther information is requestedFurther information is requested

Status: Open.

#27 In aya-prover/intellij-aya;

· imkiva opened on Nov 10, 2022

Documentation Provider

feature request

Status: Open.

#25 In aya-prover/intellij-aya;

· HoshinoTented opened on Oct 11, 2022

Integrate IntelliJ project model with <code>LibraryOwner</code>

Status: Open.

#23 In aya-prover/intellij-aya;

· imkiva opened on Oct 8, 2022

Interactive type-checking tracer

feature request

Status: Open.

#12 In aya-prover/intellij-aya;

· imkiva opened on Jul 30, 2022

· 

0.19

Case-split on bind patterns

feature request

Status: Open.

#10 In aya-prover/intellij-aya;

· imkiva opened on Jul 30, 2022

· 

0.19