Skip to content

A1: lambda-argument typing gate — the fourth bare-name-roster instance, recorded as a carrier - #8758

Merged
gunbai-bot[bot] merged 1 commit into
mainfrom
session/wise-boar-649-lambda-typing-gate
Aug 21, 2026
Merged

gunbai-bot[bot] merged 1 commit into
mainfrom
session/wise-boar-649-lambda-typing-gate

A1: lambda-argument typing gate — the fourth bare-name-roster instanc…

d8e7a22
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar