Ignoring, bottom, the functions arguably have no extensionality, and therefore a...

		bweitzman on June 26, 2015 \| parent \| context \| favorite \| on: The Algebra of Algebraic data types Ignoring, bottom, the functions arguably have no extensionality, and therefore are only vacuously equivalent in that sense.