12:07duration 12 minutes 7 seconds
CL - Lecture 1.h - A Small Universe in Haskell
We represent our small universe in Haskell. If this doesn't yet make sense, don't worry; come back to this once you're a bit more familiar with Haskell. There is a slight…
02:35duration 2 minutes 35 seconds
CL - Lecture 1.d - A Small Universe
We introduce a very small universe, and some examples of propositions — statements we may make about the universe.