15-399, 80-317/617
Constructive Logic
Lecture 14: Data Types
We introduce the basic data type of booleans, as well as the list construction over an arbitrary type. We show how to compute with these new data types.
[ Home
| Schedule
| Assignments
| Handouts
| Software
| Overview
]
|