> the number of inhabitants for "a -> b" is "a^b" You mean "b^a". (wz1000 has it...

		saurik on June 25, 2015 \| parent \| context \| favorite \| on: The Algebra of Algebraic data types > the number of inhabitants for "a -> b" is "a^b" You mean "b^a". (wz1000 has it right, but he didn't point out that the original statement had them flipped.)