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
3 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Feb 1, 2023 at 19:49 | vote | accept | Zuhair Al-Johar | ||
| Jan 28, 2023 at 19:04 | answer | added | Zuhair Al-Johar | timeline score: 1 | |
| Jan 27, 2023 at 19:57 | history | asked | Zuhair Al-Johar | CC BY-SA 4.0 |