Livro
en
Gentle Introduction to Dependent Types with Idris
Fonte: Open Library ·
First published in 2018. 1 recommendations on Hacker News.
Porque é interessante
Hacker News rank #13328, 2 mentions, 1 recommenders.
Mais como este
-
Way of Effortless Mindfulness
Livro · Open Library
-
HBR's 10 must reads on managing yourself
Livro · Open Library
-
Emergent Computation
Livro · Open Library
-
Oil
Livro · Open Library
-
Myth and religion
Livro · Open Library
-
The Age of AI
Livro · Open Library