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

Triggered via pull request August 16, 2023 22:36
@ncfavierncfavier
synchronize #250
ncfavier:W-initial
Status Success
Total duration 2m 44s
Artifacts –

build.yml

on: pull_request
build
2m 34s
build
deploy
0s
deploy
Fit to window
Zoom out
Zoom in