just to note this talk briefly alludes to another subject, the Curry–Howard isom...

		irfansharif on April 16, 2017 \| parent \| context \| favorite \| on: A monoid is a category, a category is a monad, a m... just to note this talk briefly alludes to another subject, the Curry–Howard isomorphism, something Philip Wadler had similarly given a talk about at Lambda Days (2016) titled 'Propositions as Types'[1] (slides [2] and the video recording[3]). [1]: http://www.lambdadays.org/lambdadays2016/philip-wadler [2]: http://www.lambdadays.org/static/upload/media/14562260715188... [3]: https://youtu.be/aeRVdYN6fE8

That youtube lecture was really interesting.

The very ending was awesome as well!