The Holy Trinity of Computation: logic, languages, categoriesexistentialtype.wordpress.com2 points·davidmathers··0 commentsOpen articleSaveView on HN