Lightweight Dependent-type Programming (2008)okmij.org23 points·mlitchard··0 commentsOpen articleSaveView on HN