Search results

jline4 breaking change, need to update build script

Status: Open.

Task

#1456 In aya-prover/aya-dev;

· ice1000 opened on Jun 9, 2026

Search global instances using instance case tree

classes

Status: Open.

#1439 In aya-prover/aya-dev;

· ice1000 opened on Nov 25, 2025

·  

v0.41

Investigate the feasibility to rewrite descent to be monadic

Status: Open.

Task

#1436 In aya-prover/aya-dev;

· ice1000 opened on Nov 21, 2025

More informative normalization result type and better conversion check

Status: Open.

Task

#1435 In aya-prover/aya-dev;

· ice1000 opened on Nov 20, 2025

Don't panic when Expr.Hole 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 LocalVariableTable metadata for JIT-compiled classfile

developer experience

jit

Status: Open.

Feature

#1329 In aya-prover/aya-dev;

· linxuanm opened on Feb 18, 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