A language agnostic introduction to dependent typesshuangrimu.com3 points·dwohnitmok··0 commentsOpen articleSaveView on HN