4 ms·I think the most underrated part is: "untyped lambda calculus is harder"by darioush 9y agoI think the most underrated part is: "untyped lambda calculus is harder"jaseemabid 9y agoYou read my mind :D