Skip to content

Exercise Set 2

Sankalp Gambhir requested to merge gambhir/cs320-24:no-sol-ex-02 into main

Exercise Set 2 (for week 3) on term rewriting and the Lambda calculus.

Merge request reports