Gradient and Taylor FormulaIntroduces gradient, Laplacian, Taylor formula, polynomial approximations, extrema, and Taylor series expansions in multiple variables.
Polymorphic Types in AmyCovers polymorphic types in Amy, including Hindley-Milner rules, type schemes, instantiation, and handling type variables in functions.