View Detailed Profile
Part 1: Haskell - Thinking with types  (Chapter1: The Algebra Behind Types)

Part 1: Haskell - Thinking with types (Chapter1: The Algebra Behind Types)

Looking at the great book by Sandy Maguire “

Thinking with Types, Chapter 1, Cardinality, Isomorphisms, and the Curry-Howard Isomorphism.

Thinking with Types, Chapter 1, Cardinality, Isomorphisms, and the Curry-Howard Isomorphism.

In this video, I work through

Thinking in Systems, Key Ideas (Ch. 1)

Thinking in Systems, Key Ideas (Ch. 1)

In this video, I go through the key ideas in

Category Theory for Programmers: Chapter 1 - Category

Category Theory for Programmers: Chapter 1 - Category

PL Virtual Meetup: https://www.meetup.com/Programming-Languages-Toronto-Meetup/ CtFP Textbook: ...

Thinking with Types: Finish Chapter 1 and Chapter 2

Thinking with Types: Finish Chapter 1 and Chapter 2

In this video, I finish the code in

Part 2: Haskell - Thinking with types (Chapter 2 - Terms, Types and Kinds)

Part 2: Haskell - Thinking with types (Chapter 2 - Terms, Types and Kinds)

Looking at the great book by Sandy Maguire “

Chapter 1.1: Introduction to logic

Chapter 1.1: Introduction to logic

This video is part of the series: 'The Philosophy of the Humanities' which you can find here ...