Search results

Leafover of #1360

lsp

Status: Open.

#1361 In aya-prover/aya-dev;

· HoshinoTented opened on Jun 7, 2025

Meta problem

bugSomething isn't workingSomething isn't working

meta variables

Status: Open.

#1358 In aya-prover/aya-dev;

· HoshinoTented opened on May 29, 2025

 ·  

v0.39

There should be a <code>BetaRedex.make</code> here

jit

Status: Open.

#1357 In aya-prover/aya-dev;

· ice1000 opened on May 26, 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

Using A-normal form for intermediate representation in JIT

feature

Status: Open.

#1341 In aya-prover/aya-dev;

· linxuanm opened on Apr 10, 2025

A repl command to run double checker on a function definition

developer experience

double checker

repl

Status: Open.

Feature

#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

Optimize <code>sourcePosForSubExpr</code>

performance

refactoring

test fixtures

Status: Open.

Task

#1306 In aya-prover/aya-dev;

· ice1000 opened on Feb 4, 2025

Implement pruning to fix this example by Hoshino

meta variables

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