Skip to content

Support for v2.7.0.1 #298

Support for v2.7.0.1

Support for v2.7.0.1 #298

Setup Agda (2.6.4.1) on ubuntu-20.04

succeeded Oct 18, 2024 in 1m 58s