Skip to content

autoOne functionality update for Agda v2.7.0 and up #163

autoOne functionality update for Agda v2.7.0 and up

autoOne functionality update for Agda v2.7.0 and up #163

Stack Linux  /  Build

succeeded Oct 8, 2024 in 9m 39s