All issues

Search results

Add when one installs it automatically to path in linux, otherwise new cli looses it

bugSomething isn't workingSomething isn't working

Status: Open.

#995 In bendlang/bend;

· lambdasolver2 opened on Sep 22, 2026

A constructor name reused by a later definition bypasses #905 and admits Empty

Status: Open.

#994 In bendlang/bend;

· jasisz opened on Sep 22, 2026

Equality checking revisits a shared constructor DAG exponentially

Status: Open.

#993 In bendlang/bend;

· jasisz opened on Sep 22, 2026

C backend: a constructor with 256 single-word fields still exceeds CID_ARITY_T after #944

Status: Open.

#991 In bendlang/bend;

· jasisz opened on Sep 22, 2026

C backend rejects case-distinct constructors because both names become the same CID macro

Status: Open.

#989 In bendlang/bend;

· jasisz opened on Sep 22, 2026

A linear chain of quantity definitions makes kind checking exponential

Status: Open.

#984 In bendlang/bend;

· jasisz opened on Sep 22, 2026

A non-decreasing Nat literal self-call makes descent checking exponential

Status: Open.

#983 In bendlang/bend;

· jasisz opened on Sep 22, 2026

Two errors name the wrong value: a bad + marker reports another parameter, and a double use in a pattern reports another binder

Status: Open.

#980 In bendlang/bend;

· nohzafk opened on Sep 22, 2026

Shared Array redirect lookup races with atomic reference-count updates

bugSomething isn't workingSomething isn't working

Status: Open.

#975 In bendlang/bend;

· nicolas-abril opened on Sep 21, 2026

--check-only hangs on a four-line self-application during eager beta reduction

Status: Open.

#973 In bendlang/bend;

· jasisz opened on Sep 21, 2026

Expose the effective runtime worker count to Bend programs

enhancementNew feature or requestNew feature or request

Status: Open.

#971 In bendlang/bend;

· nicolas-abril opened on Sep 21, 2026

C backend: list reconstruction leaks 16 bytes per call in 2.0.24

Status: Open.

#970 In bendlang/bend;

· mewhhaha opened on Sep 21, 2026