Archived tweet #2038 from the @leastfixedpoint Twitter Archive

RT @milessabin: Module systems are non-modular (modularity is what they enable, not what they exhibit), and types describing their bound ...