Week 6 [2024-05-07 Tue]

Posted: 2024-05-08 | Tags: <a class="blog-taxonomy-info" href="/tags/summary">summary</a>

We continued with the handout from last time.

We discussed substitutions and unification.