Course Intro

In this course we will cover logic, proof theory, and foundations of math with the help of the functional programming language Haskell.