not a good student, can't give you a good overview but this kind of blew me away: https://en.wikipedia.org/wiki/Curry%E2%80%93Howard_correspondence https://en.w

not a good student, can't give you a good overview but this kind of blew me away: https://en.wikipedia.org/wiki/Curry%E2%80%93Howard_correspondence https://en.wikipedia.org/wiki/Curry%E2%80%93Howard_correspon... - you also can explain the y-combinator from first principles. Not sure how practical that is :)