Timeline for Is my lambda calculus reduction correct and final form valid in simply typed lambda calc?
Current License: CC BY-SA 3.0
6 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jan 9, 2018 at 18:51 | vote | accept | Rob M | ||
| Jan 9, 2018 at 18:44 | answer | added | Derek Elkins left SE | timeline score: 0 | |
| Jan 9, 2018 at 18:44 | history | edited | Rob M | CC BY-SA 3.0 |
added 82 characters in body
|
| Jan 9, 2018 at 18:29 | history | edited | Rob M | CC BY-SA 3.0 |
edited title
|
| Jan 9, 2018 at 18:21 | review | First posts | |||
| Jan 11, 2018 at 16:17 | |||||
| Jan 9, 2018 at 18:16 | history | asked | Rob M | CC BY-SA 3.0 |