some progress on irrelevance, stuck on symmetry on terms #361
Annotations
1 error and 3 warnings
|
theories/Decidability/Functions.v#L80
Non exhaustive pattern-matching: no clause found for pattern tW _ _
|
|
|
|
|
|
|
The logs for this run have expired and are no longer available.
Loading