Skip to content

Merge pull request #1965 from xlsynth:cdleary/2025-02-27-typecheck-ma… #7399

Merge pull request #1965 from xlsynth:cdleary/2025-02-27-typecheck-ma…

Merge pull request #1965 from xlsynth:cdleary/2025-02-27-typecheck-ma… #7399