Skip to content
Build

defn: W-types are initial algebras #1624

Sign in to view logs

defn: W-types are initial algebras

defn: W-types are initial algebras #1624

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build
21m 5s
deploy
0s
21m 5s