Logic & Foundations with Haskell: Haskell 5 :: Implementing Logical Functions
Channel: Marius Furter
Date: 2023-03-17

In this video we implement our own version of the type Bool, along with the functions in the standard library that act on Bool. All code can be found in the course git repository https://github.com/MariusFurter/MAT605-haskell-FS23

00:00 Introduction
00:55 Defining CoolBool
07:56 Translating between Bool and CoolBool
11:46 Logical Connectives: not, &&, ||
20:32 Extended logical connectives: and, or
39:10 Checking elements: elem
45:51 Quantifiers: all, any
52:54 filter

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