Skip to content

Branches

BranchUpdatedCheck status
BehindAhead
Pull requestAction menu
master
 Jan 25, 2026
without-traces
 Jan 25, 2026
try/typer-reorg
 Jan 25, 2026
try/parent-constructors
 Jan 25, 2026
revert-675-fix/#652-erase-constructors
 Jan 25, 2026
fix/#650-self-types
 Jan 25, 2026
bench
 Jan 25, 2026
backend
 Jan 25, 2026
aborted/simplify-hk
 Jan 25, 2026
SethTisue-patch-1
 Jan 25, 2026
DarkDimius-patch-4
 Jan 25, 2026
DarkDimius-patch-3
 Jan 25, 2026
DarkDimius-patch-2
 Jan 25, 2026
DarkDimius-patch-1
 Jan 25, 2026