Search results

Better support for concrete syntax for lambdas

Core

Status: Open.

#1319 In strata-org/Strata;

· joscoh opened on Jun 3, 2026

evalCFGStep doubles Env.deferred across symbolic condGoto branches (ships with PR #1196)

bugSomething isn't workingSomething isn't working

Status: Open.

#1316 In strata-org/Strata;

· PROgram52bc opened on Jun 2, 2026

Make LMonoTy.resolveAliases and LMonoTys.resolveAliases pure

Status: Open.

#1304 In strata-org/Strata;

· MikaelMayer opened on May 29, 2026

Unify callSiteTypeSubst and LFunc.computeTypeSubst into a single parameterised helper

enhancementNew feature or requestNew feature or request

Status: Open.

#1298 In strata-org/Strata;

· PROgram52bc opened on May 29, 2026

Boole: seq_of_* literals use untyped seqEmptyOp, should pass element type

Status: Open.

#1297 In strata-org/Strata;

· MikaelMayer opened on May 29, 2026

Refactor ArgF.fromIon to eliminate copy-paste errors in checkArgCount

Status: Open.

#1294 In strata-org/Strata;

· MikaelMayer opened on May 29, 2026

Function typing does not check for unbound type variables in body

bugSomething isn't workingSomething isn't working

Core

Status: Open.

#1289 In strata-org/Strata;

· joscoh opened on May 28, 2026

Free type variables in function declarations can be captured

bugSomething isn't workingSomething isn't working

Core

Status: Open.

#1287 In strata-org/Strata;

· joscoh opened on May 28, 2026

Refactor compilation of type hierarchy and modifies clauses

development-speed

Laurel

Status: Open.

#1274 In strata-org/Strata;

· keyboardDrummer opened on May 28, 2026

Tracking: bugs identified by @aaronjeline

Status: Open.

#1247 In strata-org/Strata;

· MikaelMayer opened on May 27, 2026

Lambda type aliases: aliasDef? / tconsAlias silently return original type on arity mismatch

Status: Open.

#1239 In strata-org/Strata;

· MikaelMayer opened on May 27, 2026

Remove LaurelTypes.lean

Status: Open.

#1204 In strata-org/Strata;

· leo-leesco opened on May 21, 2026