Search results

Support local instances

classes

Status: Open.

#1402 In aya-prover/aya-dev;

· ice1000 opened on Oct 27, 2025

· 

0.40

Pusheen <code>Expr.ClauseLam</code> while Tycking Pattern

feature

tyck: patternPattern type checkingPattern type checking

Status: Open.

Feature

#1382 In aya-prover/aya-dev;

· HoshinoTented opened on Oct 2, 2025

· 

fridge

Tracking issue for Java 25 migration

javaRelated to Java or JDKRelated to Java or JDK

Status: Open.

Task

#1377 In aya-prover/aya-dev;

· ice1000 opened on Sep 28, 2025

Don't panic when <code>Expr.Hole</code> holds bad things

feature

resolving

Status: Open.

#1370 In aya-prover/aya-dev;

· HoshinoTented opened on Sep 5, 2025

Blocked meta equation is not delayed but rejected

bugSomething isn't workingSomething isn't working

meta variables

trackingThis issue is tracked!This issue is tracked!

Status: Open.

#1358 In aya-prover/aya-dev;

· HoshinoTented opened on May 29, 2025

Leftover of #1354: module-based completion, tests

lsp

Status: Open.

#1355 In aya-prover/aya-dev;

· ice1000 opened on May 3, 2025

Unify common subroutines in tests

test fixtures

Status: Open.

Task

#1349 In aya-prover/aya-dev;

· linxuanm opened on Apr 20, 2025

A repl command to run double checker on a function definition

developer experience

double checker

repl

Status: Open.

#1337 In aya-prover/aya-dev;

· ice1000 opened on Apr 7, 2025

Meaningful <code>LocalVariableTable</code> metadata for JIT-compiled classfile

developer experience

jit

Status: Open.

Feature

#1329 In aya-prover/aya-dev;

· linxuanm opened on Feb 18, 2025

(Re²)implement partial elements

cubical

Status: Open.

Feature

#1322 In aya-prover/aya-dev;

· ice1000 opened on Feb 13, 2025

Implement pruning to fix this example by Hoshino

bugSomething isn't workingSomething isn't working

meta variables

trackingThis issue is tracked!This issue is tracked!

Status: Open.

Feature

#1295 In aya-prover/aya-dev;

· ice1000 opened on Jan 29, 2025

Shapes of list join and list concat

shape

Status: Open.

Feature

#1294 In aya-prover/aya-dev;

· ice1000 opened on Jan 28, 2025