3 ms·
The type theory fire triangle: how to mix substitution, dependent elimination, a
- Jtsummers 1y agoActual title: > The fire triangle: how to mix substitution, dependent elimination, and effects Which would have fit in the submission title limit.