A gentle introduction to dependent typesbeust.com4 points·bleakgadfly··0 commentsOpen articleSaveView on HN