Timeline for Are there known general tuple implementations that are 2 types high and withstand absence of extensionality and infinity?
Current License: CC BY-SA 4.0
7 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Feb 1, 2023 at 19:49 | vote | accept | Zuhair Al-Johar | ||
| Jan 29, 2023 at 17:14 | history | edited | Zuhair Al-Johar | CC BY-SA 4.0 |
deleted 140 characters in body
|
| Jan 29, 2023 at 17:13 | history | undeleted | Zuhair Al-Johar | ||
| Jan 29, 2023 at 17:00 | history | deleted | Zuhair Al-Johar | via Vote | |
| Jan 29, 2023 at 17:00 | history | undeleted | Zuhair Al-Johar | ||
| Jan 29, 2023 at 14:07 | history | deleted | Zuhair Al-Johar | via Vote | |
| Jan 28, 2023 at 19:04 | history | answered | Zuhair Al-Johar | CC BY-SA 4.0 |