Haskell For Imperative Programmers 10

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

In this video we explore foldings on lists.

Hope you liked the video! This took a while to make (mostly bc of uni stuff getting in the way). In this video, I will be going over the ...

Haskell

In this video we are going to get theoretical!

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

In this video we explore records and their usage.

In this video we explore function definitions.

In this video we discuss some exercises on folding. Solutions: ...

In this video we take a look at importing and defining modules. Documentation: https://www.

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

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

In this course we explore functional

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

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

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

Let's head in the right direction!