Skip to content

Support Agda v2.7.0 #283

Support Agda v2.7.0

Support Agda v2.7.0 #283

Annotations

1 warning

Setup Agda (2.6.2.1) on ubuntu-22.04

succeeded Aug 20, 2024 in 2m 21s