Skip to content

[Merged by Bors] - refactor: add an ofNat() elaborator #6999

[Merged by Bors] - refactor: add an ofNat() elaborator

[Merged by Bors] - refactor: add an ofNat() elaborator #6999

Annotations

4 warnings

Cross off linked issues

succeeded Jan 1, 2025 in 2s