Skip to content

Update to agda-stdlib v2.0 #128

Update to agda-stdlib v2.0

Update to agda-stdlib v2.0 #128

Annotations

2 errors and 6 warnings

build (v2.6.3, v2.0, 8.10.2, 3.4.0.0)

cancelled Mar 15, 2024 in 9m 46s