We implement functions as sets of pairs. All code can be found in the course git repository https://github.com/MariusFurter/MAT605-haskell-FS23
00:00 Introduction
00:18 Definition: Function
05:38 Definition: Image
06:39 Definition: Injective
09:39 Definition: Surjective
11:58 Definition: Bijective
13:51 Importing SetList
16:31 Datatype for functions
25:28 Check if Fun is actually a function
41:28 Get image of Fun
45:49 Checking surjectivity and injectivity
53:06 Converting to and from Fun
The playlist for the course can be found here: https://www.youtube.com/watch?v=0HImO-me_sg&list=PLd8NbPjkXPliojM8YMN3z3o9--zXwti8Z
