Skip to content

Exhaustiveness checking for non-arithmetic patterns #32

Exhaustiveness checking for non-arithmetic patterns

Exhaustiveness checking for non-arithmetic patterns #32

Annotations

1 error and 1 warning

restyled

failed Jan 9, 2025 in 27s