User contributions for 75.165.42.180
Appearance
For 75.165.42.180 talk block log logs global block log filter log
25 January 2015
- 13:5113:51, 25 January 2015 diff hist +3 Agda (programming language) which -> that
10 January 2015
- 17:5417:54, 10 January 2015 diff hist −1 TPK algorithm grammar and clarity
- 17:5217:52, 10 January 2015 diff hist +13 Mixin grammar and clarity
- 17:3917:39, 10 January 2015 diff hist +62 Ruby (programming language) comment about vacuous closure in example
- 17:3717:37, 10 January 2015 diff hist −6 Ruby (programming language) grammar and clarity