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
