Haskell For Imperative Programmers 42

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

This video is supported by https://translatebox.io Cabal: https://www.

This video is supported by https://translatebox.io Further reading: https://www.springer.com/de/book/9783658263010 ...

In this video we explore records and their usage.

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

In this video we explore function definitions.

In this course we explore functional

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

In this video we will finally write "Hello World".

In this video we explore foldings on lists.

In this video we explore what may be and may won't be.

In this video we are going to evaluate to normal form. Documentation: ...

Some exercises in order to get familiar with lists in

In this video we tackle infinity.

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

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

lorem.txt: https://gist.github.com/phagenlocher/2e68f8f6c1cecf1d7d41bfcee741df05 Solutions 1 & 2: ...

In this video we will look at Monads and their application.