Comments | r_transpose_p: I <3 Generics

r_transpose_p

Jul 21, 2008 17:18

That is all.

Comments 4

catamorphism July 22 2008, 03:14:51 UTC

YM "parametric polymorphism"?

tgies July 22 2008, 04:08:41 UTC

is that like the violent atheist homosexual agenda

catamorphism July 22 2008, 04:40:09 UTC

No, that's only when you get into impredicativity.

soong July 22 2008, 15:34:34 UTC

have you tried to write a container using them yet? Less fun.