Gentle Introduction to Dependent Types With Idris 1st Edition by Boro Sitnikovski ISBN 1723139416 978-1723139413

Gentle Introduction to Dependent Types With Idris 1st Edition by Boro Sitnikovski – Ebook PDF Instant Download/Delivery:1723139416 ,978-1723139413
Full download Gentle Introduction to Dependent Types With Idris 1st Edition  after payment

Product details: 

ISBN 10: 1723139416

ISBN 13: 978-1723139413

Author: Boro Sitnikovski 

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.

People also search for:

gentle introduction to dependent types with idris

a gentle introduction to abstract algebra

gentle introduction to dependent types with idris by boro sitnikovski

idris dependent types tutorial

Tags: Boro Sitnikovski, Gentle Introduction, Dependent