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

feat: allow updating binders to and from strict- and instance-implicit #7548

Sign in to view logs

feat: allow updating binders to and from strict- and instance-implicit

feat: allow updating binders to and from strict- and instance-implicit #7548

Annotations

1 warning

check-prelude

check-prelude
succeeded Jan 14, 2025 in 7s