Skip to content
Check for modules that should use `prelude`

fix: propagate Simp.Config when reducing terms and checking definitional equality in simp #6696

Sign in to view logs

fix: propagate Simp.Config when reducing terms and checking definitional equality in simp

fix: propagate Simp.Config when reducing terms and checking definitional equality in simp #6696

Annotations

1 warning

check-prelude

check-prelude
succeeded Dec 3, 2024 in 7s