Logic & Foundations with Haskell: Haskell 8 :: Implementing Functions

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