MSP 101: Simply Typed Lambda Calculus [video]youtube.com2 points·matt_d··0 commentsOpen articleSaveView on HN