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

		creata 5 months ago \| parent \| context \| favorite \| on: Tree Borrows An affine type system is one in which some things don't have contraction, not one in which nothing has contraction.