16 September 2019
- 19:5419:54, 16 September 2019 diff hist +53 Top type Restore text for PHP removed with https://en.wikipedia.org/w/index.php?title=Top_type&diff=prev&oldid=611848280
- 19:4919:49, 16 September 2019 diff hist +239 Top type The actual top type in Kotlin is Any? (Nullable Any), not Any Tag: Visual edit
13 November 2017
- 14:2114:21, 13 November 2017 diff hist −27 Linear logic Makes the structural rule "exchange" in Sequent calculus more explicit Tag: Visual edit
1 November 2016
- 13:5313:53, 1 November 2016 diff hist +8,109 Pragma once Undid revision 747277060 by 103.255.4.50 (talk)
 | 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. |