User contributions for 2601:D:3080:F8A:6EF0:49FF:FEE1:A332
Jump to navigation
Jump to search
12 October 2014
- 16:5716:57, 12 October 2014 diff hist −825 Kappa calculus change math formatting in type grammar to match formatting in expression grammar current