Shplait Tutorial 8 Defining Types - Detailed Analysis
A reminder that `typecheck` and `interp` do not call each other. _Unification_ is the algorithm for assigning In this video we explore typeclasses and how to instanciate them. A brief summary of additional terminology that you may encounter related to lazy and eager evaluation. cs3520/6520: ...
Photo Gallery


















