Media Summary: In this video we are exploring the Either datatype. Documentation: ... In this video we are going to evaluate to normal form. Documentation: ... In this video we explore the (.) operator and its use.
Haskell For Imperative Programmers 22 - Detailed Analysis & Overview
In this video we are exploring the Either datatype. Documentation: ... In this video we are going to evaluate to normal form. Documentation: ... In this video we explore the (.) operator and its use. In this video we take a look at importing and defining modules. Documentation: Cause and Effect(s): Towards a More Programmable In this video we explore foldings on lists.
How to Safely Use Extensionality in Liquid In this video we will look at Monads and their application.
![[Haskell'22] Cause and Effect(s): Towards a More Programmable Haskell](https://i.ytimg.com/vi/3WwYkqPctIQ/mqdefault.jpg)
![[Haskell'22] How to Safely Use Extensionality in Liquid Haskell](https://i.ytimg.com/vi/03RV5gJ7NKg/mqdefault.jpg)
![[Haskell'22] Liquid Proof Macros](https://i.ytimg.com/vi/iEdL6ZQyaoM/mqdefault.jpg)
