Comment by creata

An affine type system is one in which some things don't have contraction, not one in which nothing has contraction.