Skip to content

Merge branch 'main' into josh/eq-semantics

648a9e3
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Merged

Change eq semantics for binders in Lambda #633

Merge branch 'main' into josh/eq-semantics
648a9e3
Select commit
Loading
Failed to load commit list.

Annotations

2 warnings
Analyze (java-kotlin)
succeeded Mar 20, 2026 in 59s