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 Windows  /  Build

succeeded Oct 8, 2024 in 11m 18s