Closed HarrisonGrodin closed 1 year ago
Right now, there are lots of conventions for type names. We should just choose one and stick to it. Proposal:
A, B, C
X, Y, Z
A
_×_
A⁺
_×⁺_
A⁻
_×⁻_
Right now, there are lots of conventions for type names. We should just choose one and stick to it. Proposal:
A, B, Cfor positive typesX, Y, Zfor negative typesAis an Agda type, e.g._×_A⁺is the positive calf type (if applicable), e.g._×⁺_A⁻is the negative calf type (if applicable), e.g._×⁻_