Horror Recs by Place

Introduction to Dependent Types with Idris > Editions

by Boro Sitnikovski

Sort by
Format
Language
Editions
Showing 1-5 of 5
Gentle Introduction to Dependent Types with Idris
Gentle Introduction to Dependent Types with Idris (Paperback)
Published September 7th 2018 by CreateSpace Independent Publishing Platform
Paperback, 135 pages
Author(s):
ISBN:
9781723139413 (ISBN10: 1723139416)
ASIN:
1723139416
Edition language:
English
Average rating:
4.40 (5 ratings)
more details
Rate this book
Clear rating
1 of 5 stars2 of 5 stars3 of 5 stars4 of 5 stars5 of 5 stars
Gentle Introduction to Dependent Types with Idris
Gentle Introduction to Dependent Types with Idris (Kindle Edition)
Published September 6th 2018
Kindle Edition, 135 pages
Author(s):
ASIN:
B07H5M32YM
Average rating:
4.33 (3 ratings)
more details
Rate this book
Clear rating
1 of 5 stars2 of 5 stars3 of 5 stars4 of 5 stars5 of 5 stars
Introduction to Dependent Types with Idris: Encoding Program Proofs in Types
Introduction to Dependent Types with Idris: Encoding Program Proofs in Types (Paperback)
Published March 18th 2023 by Apress
1st ed., First Edition, Paperback, 175 pages
Author(s):
ISBN:
9781484292587 (ISBN10: 1484292588)
ASIN:
1484292588
Edition language:
English
Average rating:
4.00 (1 rating)
more details
Rate this book
Clear rating
1 of 5 stars2 of 5 stars3 of 5 stars4 of 5 stars5 of 5 stars
Introduction to Dependent Types with Idris: Encoding Program Proofs in Types (Professional and Applied Computing)
Introduction to Dependent Types with Idris: Encoding Program Proofs in Types (Professional and Applied Computing)
Published March 17th 2023 by Apress
Kindle Edition, 179 pages
Author(s):
ISBN:
9781484292594 (ISBN10: 1484292596)
ASIN:
B0BT15H24G
Edition language:
English
Average rating:
5.00 (1 rating)
more details
Rate this book
Clear rating
1 of 5 stars2 of 5 stars3 of 5 stars4 of 5 stars5 of 5 stars
Introduction to Dependent Types with Idris: Encoding Program Proofs in Types (Professional and Applied Computing)
Introduction to Dependent Types with Idris: Encoding Program Proofs in Types (Professional and Applied Computing)
Published March 17th 2023 by Apress
Kindle Edition, 179 pages
Author(s):
ASIN:
B0DFBBGGJT
Edition language:
English
Average rating:
0.0 (0 ratings)
more details
Rate this book
Clear rating
1 of 5 stars2 of 5 stars3 of 5 stars4 of 5 stars5 of 5 stars

per page