6 Homework
Each chapter of Logical Foundations and Programming Language Foundations contains associated exercises. Problem sets will typically be some subset of these exercises. For more information on the exercises see:
https://softwarefoundations.cis.upenn.edu/lf-current/Preface.html#lab10.
Due |
| Files |
| Exercises |
Sep 3, 2pm |
|
| basic_induction, double_plus, mult_comm, nandb, andb3, factorial, ltb, plus_id_exercise, mult_S_1, andb_true_elim2, zero_nbeq_plus_1, indentity_fn_applied_twice, binary |