Type-Driven Development with Idris

eBook Details:

  • Paperback: 480 pages
  • Publisher: WOW! eBook; 1st edition (March 31, 2017)
  • Language: English
  • ISBN-10: 1617293024
  • ISBN-13: 978-1617293023

eBook Description:

Type-Driven Development with Idris

Uploaded.net Premium Account
Uploaded.net Premium Account

Download Link: Type-Driven Development with Idris

CLICK & DOWNLOAD FAST
REGISTER & DOWNLOAD FAST
Tags:   · ·
digg delicious stumbleupon technorati Google live facebook Sphinn Mixx newsvine reddit yahoomyweb