3 ms·Types are Anti-Modular 3 points by hamidr 14y agoMaysonL 14y agoSee the comments a year ago: http://news.ycombinator.com/item?id=2622166 http://news.ycombinator.com/item?id=2622166