Skip to content

Update Prelude.agda #2713

Update Prelude.agda

Update Prelude.agda #2713

Annotations

1 error and 1 warning

test-cubical

failed Jan 13, 2025 in 2m 13s