An edition of Type-driven Development with Idris (2017)

Type-driven Development with Idris

by

  • 7 Want to read
Cover of: Type-driven Development with Idris by Edwin Brady, Edwin Brady
Not in Library

My Reading Lists:

Create a new list

Check-In

×Close
Add an optional check-in date. Check-in dates are used to track yearly reading goals.
Today
Notes
  • 7 Want to read
Notes

Check nearby libraries

Buy this book

Last edited by ImportBot
October 3, 2021 | History
Edit
An edition of Type-driven Development with Idris (2017)

Type-driven Development with Idris

by

  • 7 Want to read

This edition doesn't have a description yet. Can you add one?

Publish Date
Publisher
Manning Publications
Pages
480

Check nearby libraries

Buy this book

Subjects

Programming languages (electronic computers), Computer programming

Showing 2 featured editions. View all 2 editions?

Edition Availability
Cover of: Type-driven Development with Idris
Type-driven Development with Idris
Mar 31, 2017, Manning Publications
  • Not in Library
Libraries near you: WorldCat
Cover of: Type-Driven Development with Idris
Type-Driven Development with Idris
2017, Manning Publications Co. LLC
in English
Libraries near you: WorldCat

Add another edition?

Book Details

Classifications

Library of Congress
QA76.6

ID Numbers

Open Library
OL26836431M
ISBN 10
1617293024
ISBN 13
9781617293023

Source records

amazon.com record
Better World Books record

Community Reviews (0)

Feedback?
No community reviews have been submitted for this work.

Lists

See All

History

Download catalog record: RDF / JSON / OPDS | Wikipedia citation
October 3, 2021 Edited by ImportBot import existing book
August 17, 2020 Edited by ImportBot import existing book
April 5, 2019 Created by ImportBot Imported from amazon.com record