Introducing Product, Sum and Equality Types : Spilling The HotT

Channel:

? the Vtuber Ch

Subscribers:

1,100

Published on June 2, 2025 2:54:42 AM ● Video Link: https://www.youtube.com/watch?v=3mn131iecvw

Duration: 0:00

122 views

14

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"