Timeline for Does "Church's Law" really fail in Extensional Type Theory?
Current License: CC BY-SA 3.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Oct 20, 2013 at 0:54 | vote | accept | Tom Ellis | ||
| S Sep 16, 2013 at 0:02 | history | suggested | CommunityBot |
Removed homotopy-type-theory tag.
|
|
| Sep 15, 2013 at 21:49 | review | Suggested edits | |||
| S Sep 16, 2013 at 0:02 | |||||
| Sep 5, 2013 at 14:54 | answer | added | Andreas Blass | timeline score: 7 | |
| Sep 5, 2013 at 14:24 | history | asked | Tom Ellis | CC BY-SA 3.0 |