Skip to content

Support Agda v2.7.0 #283

Support Agda v2.7.0

Support Agda v2.7.0 #283

Setup Agda (2.6.1.3) on macos-12

cancelled Aug 20, 2024 in 1m 44s