Skip to content

Extend well-formedness check of ADTs to include where-clauses #370

Extend well-formedness check of ADTs to include where-clauses

Extend well-formedness check of ADTs to include where-clauses #370

Annotations

1 error and 1 warning

The logs for this run have expired and are no longer available.