An edition of Gentle Introduction to Dependent Types with Idris (2018)
Gentle Introduction to Dependent Types with Idris
By
0 (0 Ratings)
0 Want to read0 Currently reading0 Have read
0 Want to read0 Currently reading0 Have read
Publish Date
2018
Publisher
Leanpub
Language
-
Pages
133
1-1 of 1 Editions
Gentle Introduction to Dependent Types with Idris
Pages: 133
Published In: 2018
Publisher: Leanpub