Open ana-pantilie opened 1 month ago
Needs #6413
Fixes #6424
standard-library
2.0
agda
2.6.4.3
Pre-submit checklist:
Needs #6413
Fixes #6424
standard-library
to2.0
agda
to2.6.4.3
Pre-submit checklist: