World Library  

Add to Book Shelf
Flag as Inappropriate
Email this Book

Gentle Introduction to Dependent Types with Idris

By Sitnikovski, Boro

Click here to view

Book Id: WPLBN0100301972
Format Type: PDF (eBook)
File Size: 615.25 KB.
Reproduction Date: 9/7/2018

Title: Gentle Introduction to Dependent Types with Idris  
Author: Sitnikovski, Boro
Language: English
Subject: Non Fiction, Science
Collections: Mathematics, Authors Community, Education
Publication Date:
Publisher: Leanpub
Member Page: Boro Sitnikovski


APA MLA Chicago

Sitnikovski, B. (2018). Gentle Introduction to Dependent Types with Idris. Retrieved from

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.

Are you interested in logic, mathematical proofs, type theories, and writing correct and proof-carrying code using these concepts? If yes, then this introductory book is for you!


Copyright © World Library Foundation. All rights reserved. eBooks from Project Gutenberg are sponsored by the World Library Foundation,
a 501c(4) Member's Support Non-Profit Organization, and is NOT affiliated with any governmental agency or department.