[Refractor] contradiction over ⊥-elim src/Data/Vec/Functional/Properties.agda
#1447
The logs for this run have expired and are no longer available.
Loading