arundelo comments on Saving lives via bed nets is hard to beat for immediate impact

[arundelo]

type error

I think you meant to link to https://​​qchu.wordpress.com/​​2013/​​05/​​28/​​the-type-system-of-mathematics/​​.

[elharo]

Yep, thanks. Link corrected.