Skip to main content
NiceBooksReadsSTORIES BRING US TOGETHER
DiscoverBooksWhat’s Being Read?UK booksellersWorld Literature NewsBook FriendshipBook roomsBook ClubEbooksAudiobooksCreation StudiosExperts
EnglishUS

Market controls currency, catalogue and payment options; it does not change your language.

Log inJoin
NiceBooksReadsSTORIES BRING US TOGETHER
Language
EnglishUS

Market controls currency, catalogue and payment options; it does not change your language.

Explore NiceBooksReads
⌕Discover›▥Books›↗What’s Being Read?›↗UK booksellers›✦World Literature News›♡Book Friendship›◌Book rooms›▧Book Club›▤Ebooks›▶Audiobooks›✦Creation Studios›◇Experts›
Log inJoin

Ebooks

Source and use notice

You are accessing this work through its Internet Archive source record. NiceBooksReads provides access to the source and a reading/listening interface.

Rights in the work and recording belong to their respective rights holders. Please review the source record’s licence, access and use conditions. This notice grants no additional use or republication rights.

Source record ↗Source terms of use ↗

Internet Archive is temporarily unavailable. Please try again shortly.

Try again

Report a problem with this book

functional-programming-in-lean-may-2023

NiceBooksReadsSTORIES BRING US TOGETHER

A creative community where stories are written, read, heard and shaped with professional publishing services.

DiscoverBooksWhat’s Being Read?World Literature News
Privacy & cookiesUser agreementDistance sales agreementCookie settings
●Secure connectionProtected with HTTPS and SSL/TLS encryption
Payment cards
VISAmastercardtroy
© 2026 NiceBooksReads · All rights reserved.