Timeline for Can you have a type theory where there is type of all types?
Current License: CC BY-SA 4.0
7 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jan 25, 2023 at 17:33 | history | edited | gmvh | CC BY-SA 4.0 |
Added top-level tag, corrected spelling
|
| Nov 30, 2017 at 3:24 | history | edited | Christopher King | CC BY-SA 3.0 |
added 1 character in body
|
| Sep 16, 2017 at 16:18 | history | edited | Christopher King | CC BY-SA 3.0 |
added 257 characters in body
|
| Sep 6, 2017 at 7:00 | answer | added | Andrej Bauer | timeline score: 20 | |
| Sep 5, 2017 at 22:31 | history | edited | Christopher King | CC BY-SA 3.0 |
added 586 characters in body
|
| Sep 4, 2017 at 18:39 | history | edited | Christopher King | CC BY-SA 3.0 |
added 20 characters in body
|
| Sep 4, 2017 at 18:13 | history | asked | Christopher King | CC BY-SA 3.0 |