| list 3 jlc | More on Lists |
| lambda jlc | Currying functions and Explicitly expressing recursion. |
| list 1 | |
| int 2 | |
| fun 1 | |
| core 3 jlc | Various facts about Propositional Operators |
| discrete jlc | Basics of Discrete Types |
| bool 2 jlc | A few basic facts about asserting Bools and Bool Equalities |
| bool 1 | |
| int 1 | |
| well fnd | |
| core | Some basic concepts defined type-theoretically. |