Timeline for Are coproduct types redundant in presence of natural numbers and $\Sigma$-types?
Current License: CC BY-SA 4.0
3 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Aug 21, 2021 at 9:19 | answer | added | Andrej Bauer | timeline score: 3 | |
| Aug 21, 2021 at 7:04 | review | First posts | |||
| Sep 4, 2021 at 7:05 | |||||
| Aug 21, 2021 at 7:02 | history | asked | yelena | CC BY-SA 4.0 |