Home Lectures Polytype Semantics Polytype Semantics This is a continuation from the last lecture. Now we want to be able to give types for functions like id :: a -> a. Videos Polytype Semantics CLass Session (Spring 2022) Previous Monotype Semantics Next Prolog