Rename the functor H to F
Status | Pipeline | Created by | Stages | Actions |
---|---|---|---|---|
Passed 00:13:55
| Stage: test |
Download artifacts
No artifacts found |
F seems to be the canonical name for the functor of an F-coalgebra.
Status | Pipeline | Created by | Stages | Actions |
---|---|---|---|---|
Passed 00:13:55
| Stage: test |
Download artifacts
No artifacts found |