Skip to content

Extend well-formedness check of ADTs to include where-clauses (#148) #2

Extend well-formedness check of ADTs to include where-clauses (#148)

Extend well-formedness check of ADTs to include where-clauses (#148) #2

Annotations

3 errors and 1 warning

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