Scan barcode
432 pages • first pub 2004 (editions)
ISBN/UID: None
Format: Not specified
Language: English
Publisher: Not specified
Publication date: Not specified
Description
The purpose of this book is to teach logic and mathematical reasoning in practice, and to connect logical reasoning with computer programming in Haskell. Haskell emerged in the last decade as a standard for lazy functional programming, a programmi...
Community Reviews
Content Warnings
432 pages • first pub 2004 (editions)
ISBN/UID: None
Format: Not specified
Language: English
Publisher: Not specified
Publication date: Not specified
Description
The purpose of this book is to teach logic and mathematical reasoning in practice, and to connect logical reasoning with computer programming in Haskell. Haskell emerged in the last decade as a standard for lazy functional programming, a programmi...
Community Reviews
Content Warnings