Skip to content

Experiment: Quantified Types#2434

Closed
devanshj wants to merge 23 commits into
microsoft:mainfrom
devanshj:quantified-types
Closed

Experiment: Quantified Types#2434
devanshj wants to merge 23 commits into
microsoft:mainfrom
devanshj:quantified-types

remove accidentally added comment

1c5e9f8
Select commit
Loading
Failed to load commit list.
Microsoft GitHub Policy Service / license/cla succeeded Jan 24, 2026 in 0s

All CLA requirements met.

This check verifies that the author has agreed to a CLA with Microsoft.