Logic & Foundations with Haskell: Haskell 7 :: Implementing Relations

00:00 Introduction
00:08 Definition: Relation
03:15 Definition: Relation composition
07:08 Definition: Domain / Range of a relation
08:48 Definition: Reflexive, symmetric, transitive
14:06 Importing modules
18:03 Datatypes for relations
25:10 Get domain and range of relation
32:18 Check if pair is in relation
35:03 Checking reflexivity, symmetry, transitivity
46:03 Relation composition