Archived tweet #12022 from the @leastfixedpoint Twitter Archive

@ProfMaxNew I'm surprised to find how often I refer back to those notes. (I think it was from Amal's class on types. Were you in the same run of that class as me?)