Skip to content

feat: have IR checker suggest noncomputable#4729

Merged
kmill merged 1 commit intoleanprover:masterfrom kmill:compiler_check_noncomputableSep 7, 2024

Commits

Commits on Sep 7, 2024