logo
0
Product categories

EbookNice.com

Most ebook files are in PDF format, so you can easily read them using various software such as Foxit Reader or directly on the Google Chrome browser.
Some ebook files are released by publishers in other formats such as .awz, .mobi, .epub, .fb2, etc. You may need to install specific software to read these formats on mobile/PC, such as Calibre.

Please read the tutorial at this link.  https://ebooknice.com/page/post?id=faq


We offer FREE conversion to the popular formats you request; however, this may take some time. Therefore, right after payment, please email us, and we will try to provide the service as quickly as possible.


For some exceptional file formats or broken links (if any), please refrain from opening any disputes. Instead, email us first, and we will try to assist within a maximum of 6 hours.

EbookNice Team

(Ebook) Gentle Introduction to Dependent Types With Idris by Boro Sitnikovski ISBN 9781723139413, 1723139416

  • SKU: EBN-50945854
Zoomable Image
$ 32 $ 40 (-20%)

Status:

Available

4.5

30 reviews
Instant download (eBook) Gentle Introduction to Dependent Types With Idris after payment.
Authors:Boro Sitnikovski
Pages:130 pages.
Year:2018
Editon:1
Publisher:CreateSpace Independent Publishing Platform
Language:english
File Size:0.62 MB
Format:pdf
ISBNS:9781723139413, 1723139416
Categories: Ebooks

Product desciption

(Ebook) Gentle Introduction to Dependent Types With Idris by Boro Sitnikovski ISBN 9781723139413, 1723139416

Dependent types are a powerful concept that allows us to write proof-carrying code. Idris is a programming language that supports dependent types. We will learn about the mathematical foundations, and then write correct software and mathematically prove properties about it.This book aims to be accessible to novices that have no prior experience beyond high school mathematics. Thus, this book is designed to be self-contained.The first part of this book serves as an introduction to the theory behind Idris, while the second part is a practical introduction to Idris with examples.
*Free conversion of into popular formats such as PDF, DOCX, DOC, AZW, EPUB, and MOBI after payment.

Related Products

-20%

(Ebook) Introduction to Dependent Types with Idris: Encoding Program Proofs in Types by Boro Sitnikovski ISBN 9781484292594, 1484292596

5.0

27 reviews
$40 $32
-20%

(Ebook) Introduction to Dependent Types with Idris: Encoding Program Proofs in Types by Boro Sitnikovski ISBN 9781484292587, 1484292588

4.5

37 reviews
$40 $32
-20%

(Ebook) Introducing Software Verification with Dafny Language: Proving Program Correctness by Boro Sitnikovski ISBN 9781484279779, 1484279778

4.6

15 reviews
$40 $32
-20%

(Ebook) Introducing Blockchain with Lisp: Implement and Extend Blockchains with the Racket Language by Sitnikovski, Boro ISBN 9781484269688, 1484269683

4.6

7 reviews
$40 $32
-20%

(Ebook) Introducing Blockchain with Lisp: Implement and Extend Blockchains with the Racket Language by Sitnikovski, Boro ISBN 9781484269688, 1484269683

4.5

21 reviews
$40 $32
-20%

(Ebook) Introducing Blockchain with Lisp: Implement and Extend Blockchains with the Racket Language by Sitnikovski, Boro ISBN 9781484269688, 1484269683

$40 $32
-20%

(Ebook) Introducing Blockchain with Lisp: Implement and Extend Blockchains with the Racket Language by Boro Sitnikovski ISBN 9781484269688, 9781484269695, 1484269683, 1484269691

4.7

5 reviews
$40 $32
-20%

(Ebook) Introducing Blockchain with Lisp: Implement and Extend Blockchains with the Racket Language by Boro Sitnikovski ISBN 9781484269688, 9781484269695, 9781484272541, 1484269683, 1484272544, 1484269691

5.0

9 reviews
$40 $32
-20%

(Ebook) A Gentle Introduction to SuperCollider by Bruno Ruviaro

4.7

9 reviews
$40 $32