Skip to content
Build

defn: W-types are initial algebras #1626

Sign in to view logs

defn: W-types are initial algebras

defn: W-types are initial algebras #1626

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build
2m 34s
deploy
0s
2m 34s