Logic & Foundations with Haskell: Haskell 6 :: Sets
Channel: Marius Furter
Date: 24/03/2023

In this video we implement sets and associated functions. All code can be found in the course git repository https://github.com/MariusFurter/MAT605-haskell-FS23

00:00 Introduction
00:38 Defining data Set
10:32 Converting sets to lists
13:23 Converting lists to sets
18:12 Checking elements
22:58 Checking subsets
41:18 Defining equality for sets
45:53 Union
49:51 Intersection

The playlist for the course can be found here: https://www.youtube.com/watch?v=0HImO-me_sg&list=PLd8NbPjkXPliojM8YMN3z3o9--zXwti8Z