Hacker News new | ask | show | jobs
by creata 337 days ago
An affine type system is one in which some things don't have contraction, not one in which nothing has contraction.