Skip to content
Back to pull request #21

Require dependencies when inductives are in types #38

Sign in to view logs

Require dependencies when inductives are in types

Require dependencies when inductives are in types #38

Annotations

1 warning

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