Haskell 9: Natural Numbers - UZH

Haskell 9: Natural Numbers

From Marius Furter

views comments

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

Tags