Does it make sense to use proof to validate that a given monad
implementation obeys its laws?
daryoush
2008/9/14 Greg Meredith [EMAIL PROTECTED]:
Daryoush,
One of the subtle points about computation is that -- via Curry-Howard --
well-typed programs are already proofs. They may not be the
Hola amigos del Foro ( México ), alguno de ustedes
sabe donde se puede adquirir en nuestro país pedacitos
de fibra de coco, lo que en inglés llaman coconut
husk chips...??
He tenido noticia acerca de su uso exitoso como
ingrediente en la preparación de sustrato, en USA se
puede conseguir