Haskell 9: Natural Numbers

We implement natural numbers, arithmetic and comparison using an inductive datatype. All code can be found in the course git repository https://github.com/MariusFurter/MAT605-haskell-FS23