Logic & Foundations with Haskell: Haskell 13 :: Integers from Natural Numbers
Channel: Marius Furter
Date: 2023-05-06

We implements datatypes for integers based in the natural numbers.
Correction: At 04:50 I forgot the case (==) (Neg Z) (Pos Z)  = True. All code can be found in the course git repository https://github.com/MariusFurter/MAT605-haskell-FS23

00:00 Introduction
00:57 Integers as disjoint union of Nat
05:56 Integers as difference classes of Nat
12:36 Defining addition

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