Things are listed here: https://cs.uwaterloo.ca/~plragde/747/Assignments.html, but I'm getting tired of having to reference it.
| hw name | due date | done | grade |
|---|---|---|---|
747Naturals.agda |
May 19 | ✅ | 6/6 |
747Induction.agda |
May 26 | ✅ | 23/23 |
747Relations.agda |
May 31 | ✅ | 9/9 |
747Isomorphism.agda |
June 7 | ✅ | 15/15 |
747Connectives.agda |
June 14 | ✅ | 8/8 |
747Negation.agda |
June 17 | ✅ | 5/5 |
747Quantifiers.agda |
June 21 | ✅ | 8/9 |
747Decidable.agda |
June 24 | ✅ | 12/12 |
747Lists.agda |
July 1 | ✅ | 9/9 |
747Lambda.agda |
July 7 | ✅ | 8/9 |
747Properties.agda |
July 13 | ✅ | 0/9 |
747More.agda |
July 19 | ✅ | 9/10 |
747Inference.agda |
July 26 | ✅ | 0/15 |
| total | 112/138 |