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

Nix Linux  /  Build package (ghc810)

succeeded Oct 8, 2024 in 30m 17s