Haskell For Imperative Programmers 38

Autobots, roll out! More reading: https://wiki.

In this video we explore how to create your own datatypes.

Some exercises in order to get familiar with lists in

In this video we are going to get theoretical!

In this video we explore the (.) operator and its use.

This video is supported by https://translatebox.io Further reading: https://en.wikipedia.org/wiki/Well-founded_relation ...

This video is supported by https://translatebox.io Isabelle: https://isabelle.in.tum.de The Archive of Formal Proofs: ...

This video is supported by https://translatebox.io QuickSpec: https://hackage.

In this video we explore records and their usage.

In this video we explore the theory of partial function application and its use.

In this video we explore lists, listcomprehensions, matching, etc...

In this video we explore higher order functions, anonymous functions and the functions map and filter.

We implement functions as sets of pairs. All code can be found in the course git repository ...