Search for tag: "booleans"

CL - 11a - Expressions

This video introduces the idea that expressions…

+23 More
From  Haoran Peng 0 likes 319 plays 0  

CL - 8a - Language II

In this video we return to the idea of a formal…

+23 More
From  Haoran Peng 0 likes 358 plays 0  

CL - Lecture 4c - Conjunction

In this video, we try to arrive at the…

+25 More
From  Haoran Peng 0 likes 527 plays 0  

FP - Lecture 8 - Algebraic Data Types

This is the video for the FP lecture on Algebraic…

+24 More
From  Claudia-Elena Chirita 0 likes 476 plays 0  

CL - Lecture 1.h - A Small Universe in Haskell

We represent our small universe in Haskell. If…

+25 More
From  Claudia-Elena Chirita 0 likes 737 plays 0