Skip to content
Ubuntu build

Restriction Kleisli Category #3: Kleisli Category is a counital copy and a restriction category #584

Sign in to view logs

Restriction Kleisli Category #3: Kleisli Category is a counital copy and a restriction category

Restriction Kleisli Category #3: Kleisli Category is a counital copy and a restriction category #584

Triggered via pull request August 15, 2025 12:48
@ReijixReijix
opened #486
Reijix:3-copycats-eqliftingcounitalcopy
Status Success
Total duration 17m 37s
Artifacts –

ci-ubuntu.yml

on: pull_request
test-categories
17m 34s
test-categories
Fit to window
Zoom out
Zoom in