Dependent Names with a Little Encouragementconsteval.ca9 points·HeliumHydride··0 commentsOpen articleSaveView on HN