User contributions for 2806:107E:4:15E:218:DEFF:FE2B:1215
For 2806:107E:4:15E:218:DEFF:FE2B:1215 talk block log logs filter log
27 May 2017
- 10:3210:32, 27 May 2017 diff hist +2,255 Talk:Curry–Howard correspondence →I have tried to format this, because I can not read it, but I gave up: new section
- 09:1909:19, 27 May 2017 diff hist +40 Curry–Howard correspondence →Examples: Just reminded S and K definition
 | 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. |