Skip to content

fix: reduce Eq.rec when mvars are present #7371

fix: reduce Eq.rec when mvars are present

fix: reduce Eq.rec when mvars are present #7371

Annotations

1 warning

check-prelude

succeeded Jan 8, 2025 in 7s