Introducing Product, Sum and Equality Types : Spilling The HotT
Channel:
Subscribers:
1,100
Published on ● Video Link: https://www.youtube.com/watch?v=3mn131iecvw
Introducing Product, Sum and Equality types in type theory.
References in https://docs.google.com/spreadsheets/d/1lNInqBrtVDKH3N5QWJVal_nvJlcsUSh-CHkOdBwPWtk/edit?usp=sharing
Airport Lounge - Disco Ultralounge by Kevin MacLeod is licensed under a Creative Commons Attribution 4.0 licence. https://creativecommons.org/licenses/by/4.0/
Source: http://incompetech.com/music/royalty-free/index.html?isrc=USUAN1100806
Artist: http://incompetech.com/
00:00 - Introduction
00:43 - Logical And Product Types
03:38 - Logical Or Sum Types
09:18 - Equality Types
13:19 - Beyond "And" and "Or"