World Library  


QR link for Gentle Introduction to Dependent Types with Idris
Open EEWOWW
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
Volume:
Language: English
Subject: Non Fiction, Science
Collections: Mathematics, Authors Community, Education
Historic
Publication Date:
2018
Publisher: Leanpub
Member Page: Boro Sitnikovski

Citation

APA MLA Chicago

Sitnikovski, B. (2018). Gentle Introduction to Dependent Types with Idris. Retrieved from http://self.gutenberg.org/


Description
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.

Summary
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!

 

Click To View

Additional Books


  • Родени Убийци (by )
  • Small Lie, Big Trouble (by )
  • Partners in Crime (by )
  • The Middle Grounds (by )
  • The Demon from Under the Deep (by )
  • Survival (by )
  • Jessica Marks (by )
  • Lead US to the Light (by )
  • Lost Souls (by )
  • Power Watcher (by )
  • Running from Home (by )
  • The Time Keeper (by )
Scroll Left
Scroll Right

 



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.