Skip to content

Pin CI to agda-stdlib v2.3 for import compatibility #6

Pin CI to agda-stdlib v2.3 for import compatibility

Pin CI to agda-stdlib v2.3 for import compatibility #6