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