Search for tag: "a small universe"

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…

From  Claudia-Elena Chirita on September 11th, 2020 0 likes 648 plays 0  

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.

From  Claudia-Elena Chirita on September 11th, 2020 0 likes 467 plays 0