Timeline for Does the Y combinator contradict the Curry-Howard correspondence?
Current License: CC BY-SA 3.0
10 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Mar 22 at 21:45 | answer | added | NinjaDarth | timeline score: 0 | |
| Mar 14, 2020 at 3:01 | vote | accept | Joshua | ||
| S Aug 5, 2019 at 15:17 | history | suggested | Rodrigo de Azevedo |
Added tag.
|
|
| Aug 5, 2019 at 8:08 | review | Suggested edits | |||
| S Aug 5, 2019 at 15:17 | |||||
| Oct 31, 2014 at 8:30 | history | tweeted | twitter.com/#!/StackCompSci/status/528101603371261953 | ||
| Oct 30, 2014 at 22:32 | answer | added | Pseudonym♦ | timeline score: 25 | |
| Oct 30, 2014 at 22:32 | answer | added | Gilles 'SO- stop being evil' | timeline score: 10 | |
| Oct 30, 2014 at 21:57 | history | edited | Gilles 'SO- stop being evil' | CC BY-SA 3.0 |
deleted 2 characters in body; edited tags; edited title
|
| Oct 30, 2014 at 21:41 | history | migrated | from cstheory.stackexchange.com (revisions) | ||
| Oct 30, 2014 at 14:48 | history | asked | Joshua | CC BY-SA 3.0 |