ParentFull threadmdellabitta·> Programming isn't analogous to mathhttps://en.wikipedia.org/wiki/Curry-Howard_isomorphismView on HN