Restriction Kleisli Category #2: Kleisli Category is monoidal symmetric #562
Reijixci-ubuntu.yml
on: pull_request
test-categories
13m 10s
Annotations
1 warning
|
test-categories
Agda libraries file already contains a copy of standard-library
|