Timeline for Write an interpreter for the untyped lambda calculus
Current License: CC BY-SA 3.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jun 17, 2020 at 9:04 | history | edited | CommunityBot |
Commonmark migration
|
|
| Sep 16, 2016 at 1:07 | comment | added | Anders Kaseorg | In addition to the above capture bug, this also incorrectly evaluates (\ y. (\ xx. ((\ x. xx) y))) to (\ y. (\ xx. yy)), where overzealous string substitution has manufactured the nonexistent variable yy. | |
| Sep 27, 2015 at 20:45 | comment | added | Anders Kaseorg | This fails to do capture-avoiding substitution. For example, ((\ f. (\ x. (f x))) (\ y. (\ x. y))) evaluates incorrectly to (\ x. (\ x. x)). | |
| Aug 8, 2011 at 10:07 | comment | added | luser droog | hello envy, my old friend :) | |
| Aug 7, 2011 at 12:06 | history | answered | Howard | CC BY-SA 3.0 |