UniMath/agda-unimath

The concepts macro should require the `WD` field if the `WDID` field is specified and vice versa

fredrik-bakke opened this issue · 0 comments

If either data point is specified, the other one should also be possible to determine, and making them corequired will avoid incomplete specifications.