Logic & Foundations with Haskell: Haskell 12 :: Typeclasses for Natural Numbers

We implement the typeclasses Ord, Enum, Num, Real and Integral for the natural numbers. This allows us to use all standard functions for these typeclasses on our natural number datatype. All code can be found in the course git repository https://github.com/MariusFurter/MAT605-haskell-FS23 00:00 Introduction 01:51 data Nat 02:38 foldn 04:56 Typeclass Ord 12:50 Typeclass Enum 20:47 Typeclass Num 30:13 Typeclasses Real and Integral The playlist for the course can be found here: https://www.youtube.com/watch?v=0HImO-me_sg&list=PLd8NbPjkXPliojM8YMN3z3o9--zXwti8Z