Timeline for Is there a normalizing (or perpetual) reduction strategy for untyped combinators?
Current License: CC BY-SA 2.5
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Mar 5, 2011 at 23:13 | vote | accept | Rob Simmons | ||
| Mar 5, 2011 at 22:55 | history | edited | Dave Clarke | CC BY-SA 2.5 |
added 94 characters in body
|
| Mar 5, 2011 at 22:44 | history | edited | Dave Clarke | CC BY-SA 2.5 |
added 32 characters in body; added 45 characters in body
|
| Mar 5, 2011 at 22:34 | history | answered | Dave Clarke | CC BY-SA 2.5 |