[Haskell-cafe] Proving programs

Andrés Sicard-Ramírez andres.sicard.ramirez at gmail.com
Thu Jan 3 14:11:09 CET 2013


On Thu, Jan 3, 2013 at 8:07 AM, satvik chauhan <mystic.satvik at gmail.com> wrote:
> Which book does that chapter belongs to?

http://www-fp.dcs.st-and.ac.uk/pfpbook/

-- 
Andrés



More information about the Haskell-Cafe mailing list