summaryrefslogtreecommitdiffstats
path: root/docs/proposals/002-type-equality-constraints.md
Commit message (Expand)AuthorAge
* Remove the docs/proposals directory (#6313)Anders Leino2025-02-10
* docs: Reduce typo count (#5671)Bruce Mitchener2024-11-29
* Add proposal for equality constraints (#5043)Theresa Foley2024-09-09