Timeline for Renaming "extensional-equality" to "extensional-type-theory"
Current License: CC BY-SA 4.0
7 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jun 24, 2022 at 16:51 | history | edited | taylor.2317 | CC BY-SA 4.0 |
deleted 1 character in body; edited title
|
| Jun 24, 2022 at 15:24 | history | edited | V2BlastStaff | CC BY-SA 4.0 |
removed markdown from title; edited tags
|
| May 23, 2022 at 11:46 | history | edited | TreborMod | CC BY-SA 4.0 |
added 126 characters in body
|
| May 19, 2022 at 20:00 | history | became hot meta post | |||
| May 16, 2022 at 17:36 | history | edited | EricMod | CC BY-SA 4.0 |
Edited to include tag links
|
| May 16, 2022 at 4:38 | comment | added | Couchy Mod | If in doubt, just create the tag and see if it catches on? | |
| May 14, 2022 at 15:36 | history | asked | TreborMod | CC BY-SA 4.0 |