User contributions for 72.93.180.183
Results for 72.93.180.183 talk block log logs global block log filter log
22 July 2021
- 14:1714:17, 22 July 2021 diff hist +1,363 Operational semantics →Reduction semantics: Matthias Felleisen here. The existing description was fundamentally wrong. An upset reader shared this link with me so I decided to put in 10 minutes to eliminate the worst conceptual mistakes.
 | This is the contributions page for an IP user, identified by the user's IP address. Many IP addresses change periodically, and are often shared by several users. If you are an IP user, you may create an account or log in to avoid future confusion with other IP users. Registering also hides your IP address. |