Logic & Foundations with Haskell: Course Intro
Channel: Marius Furter
Date: 26/02/2023

In this course we will cover logic, proof theory, and foundations of math with the help of the functional programming language Haskell. All code can be found in the course git repository https://github.com/MariusFurter/MAT605-haskell-FS23

00:00 Welcome!
00:18 Theory contents
00:44 A glimpse of Haskell
05:31 Prerequisites and organization

The playlist for the course can be found here: https://www.youtube.com/watch?v=0HImO-me_sg&list=PLd8NbPjkXPliojM8YMN3z3o9--zXwti8Z