Skip to main content
Meine Medien
Meine Wiedergabelisten
Mein Verlauf
Anmelden
Ausgewählte Sprache: Deutsch
English
Deutsch
Meine Medien
Meine Wiedergabelisten
Mein Verlauf
Anmelden
Ausgewählte Sprache: Deutsch
English
Deutsch
Home
Meine Wiedergabelisten
Alle Kanäle
MediaSpace Help
Kaltura Help center Mediaspace & OLAT
Video Tutorials
How to get producer access
Other links & help
OLAT Benutzer Handbuch: Kaltura
OLAT - Kaltura video tutorials
UZH Lecture Recording
UZH Lecture Livestreaming
Home
Meine Wiedergabelisten
Alle Kanäle
MediaSpace Help
Kaltura Help center Mediaspace & OLAT
Video Tutorials
How to get producer access
Other links & help
OLAT Benutzer Handbuch: Kaltura
OLAT - Kaltura video tutorials
UZH Lecture Recording
UZH Lecture Livestreaming
Haskell 9: Natural Numbers
Von
Marius Furter
Ansichten
Kommentare
Verbundene Medien
Details
Zurück
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