42:48

Pattern Matching and Records in Haskell

05:22

Exploring Algebraic Data Types in Haskell

04:16

Basics of Sum types in Haskell

07:30

Creating Custom Product Types in Haskell

02:13

Using deriving Show in Haskell as a beginner

03:56

Datatype Renamings (Newtype) in Haskell

03:35

Type Synonyms in Haskell

03:36

Product Types and Tuples in Haskell

29:48

Algebraic Data Types with Haskell

02:30

Total vs Partial functions in Haskell

01:45

Basics of importing in Haskell

01:48

Basics of "if then else" Expressions in Haskell

07:44

Where clauses and let expression basics in Haskell

05:56

Boolean logic basics in Haskell

02:46

Prefix to Infix Functions (using backticks) in Haskell

04:22

Basic Arithmetic in Haskell and Potential Problems with Division

05:38

Defining simple functions in Haskell (the basics)

01:22

What is "Literate Haskell"?

02:23

Basics of comments (+ pragmas) in Haskell

02:06

Type Checking Basics in Haskell

02:33

Basics of whitespace in Haskell

10:32

Haskell's built-in types (the basics)

03:12

"Side effects" and Purity in Haskell

03:36

What is the Haskell Programming Language?

01:01:25

Starting with Haskell - An Introduction for Beginners

05:20

Installing Haskell on Windows 10

05:41

Lambda calculus normal form, and the Church-Rosser theorems

16:55

Lambda (λ) calculus evaluation rules (δ, β, α, η conversion/reduction)

10:49

What is the lambda (λ) calculus?

34:26

Lambda (λ) Calculus Primer

02:07

Vagrant - 10 - Conclusion and next steps

06:45

Vagrant - 9 - Windows boxes with Vagrant and Packer

07:19

Vagrant - 8 - Workflows and conventions

05:29

Vagrant - 7 - Connecting to a Vagrant virtual machine using PuTTY

06:45

Vagrant - 6 - Multiple VMs and Private Networks

14:28

Vagrant - 5 - Exploring the Vagrantfile

07:59

Vagrant - 4 - Boxes and the box catalogue

05:23

Vagrant - 3 - Installing and setting up Vagrant on Mac OS X

05:28

Vagrant - 2 - Installing and setting up Vagrant on Windows 10

05:34

Vagrant - 1 - Virtualisation concepts and motivation

02:02

Vagrant - 0 - Course Introduction - Vagrant from Scratch

08:32

Emacs - Understanding the keybinding notation (ESC/META/ALT/CTRL/SHIFT)

05:48

Emacs - Introduction to the visual interface

05:41

Emacs - line wrapping, visual line mode and line truncation

07:15

Emacs - Opening and Saving files

03:54

How to install Emacs on Fedora Linux

04:19

How to install Emacs on Ubuntu Linux

05:43

Emacs - Installation options on Linux and Lucid Emacs vs. XEmacs

08:53

Emacs - the C-q prefix, ASCII Control Characters and Caret Notation

06:35

Emacs - Remapping Caps Lock to CTRL to avoid the dreaded Emacs pinky (Windows and Mac OS X)

02:14

Emacs - Creating a taskbar shortcut on Windows

06:53

The Emacs initialisation file and customising its location on Windows 10

04:54

How to install Emacs on Windows 10

03:37

How to configure Ansible to run correctly on Windows (with Cygwin)