113KiB, 1280x851, Chicken_makhani.jpg View SameGoogleiqdbSauceNAO Anonymous Sun 18 Feb 21:22:08 2018 No.9526483 ViewReplyOriginalReport Quoted By: >>9527514 For some more OC, I give a slow going and soft intro to ideas of the Curry-Howard correspondence in type-theory https://youtu.be/l1iippg752o