Timeline for Trouble Understanding a Remark about Beta-Reduction in the Lambda Calculus
Current License: CC BY-SA 3.0
6 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jan 18, 2017 at 7:40 | history | tweeted | twitter.com/StackCompSci/status/821623253273870337 | ||
| Jan 14, 2017 at 20:16 | answer | added | Derek Elkins left SE | timeline score: 3 | |
| Jan 14, 2017 at 16:30 | comment | added | George | @YuvalFilmus: You're correct. I just fixed it. | |
| Jan 14, 2017 at 16:30 | history | edited | George | CC BY-SA 3.0 |
added 1 character in body
|
| Jan 14, 2017 at 16:29 | comment | added | Yuval Filmus | I think you are missing an $a$ somewhere in the first statement. | |
| Jan 14, 2017 at 16:08 | history | asked | George | CC BY-SA 3.0 |