Media Summary: This video is supported by Isabelle: The Archive of Formal Proofs: ... In this video we explore the theory of partial function application and its use. This video is supported by Further reading:
Haskell For Imperative Programmers 41 - Detailed Analysis & Overview
This video is supported by Isabelle: The Archive of Formal Proofs: ... In this video we explore the theory of partial function application and its use. This video is supported by Further reading: In this video we explore lists, listcomprehensions, matching, etc... In this video we explore what may be and may won't be. In this video we explore records and their usage.
In this video we are going to evaluate to normal form. Documentation: ... In this video we are going to get theoretical! Some exercises in order to get familiar with lists in In this video we discuss some exercises on folding. Solutions: ... In this video we will finally write "Hello World". In this video we explore function definitions.
In this video we explore the (.) operator and its use.
