Skip to content

feat(check): prototype newer TypeScript narrowing and recursion semantics - #160

Closed
vincentkoc wants to merge 2 commits into
claude/check-cli-proof-basefrom
claude/prototype-checker-baseline-upgrade
Closed

feat(check): prototype newer TypeScript narrowing and recursion semantics#160
vincentkoc wants to merge 2 commits into
claude/check-cli-proof-basefrom
claude/prototype-checker-baseline-upgrade

feat(check): prototype mapped recursion identity normalization

9baa579
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar