Towards a Statically Typed Universe?blog.mathgladiator.com4 points·mathgladiator··0 commentsOpen articleSaveView on HN