Timeline for How can I have mutually-exclusive properties in a structural type system?
Current License: CC BY-SA 4.0
3 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Aug 11, 2023 at 17:23 | history | edited | Alexis King♦ | CC BY-SA 4.0 | Typeset mathematics now that we have MathJax |
| Jun 30, 2023 at 6:08 | vote | accept | Michael Homer♦ | ||
| Jun 30, 2023 at 6:04 | history | answered | Alexis King♦ | CC BY-SA 4.0 |