Skip to content

Expand type aliases in dependent pairs #1188

Expand type aliases in dependent pairs

Expand type aliases in dependent pairs #1188

Annotations

1 warning

hlint

succeeded Nov 20, 2024 in 23s