The lost elegance of computation with Conal Elliott [audio]typetheoryforall.com24 points·ivank··0 commentsOpen articleSaveView on HN