Книга
en
Gentle Introduction to Dependent Types with Idris
Источник: Open Library ·
First published in 2018. 1 recommendations on Hacker News.
Чем интересно
Hacker News rank #13328, 2 mentions, 1 recommenders.
Часто задаваемые вопросы
Что такое Gentle Introduction to Dependent Types with Idris?
Gentle Introduction to Dependent Types with Idris is a книга discovery curated from Open Library. First published in 2018. 1 recommendations on Hacker News.
Как получить доступ или попробовать?
You can read or browse this book for free online through open libraries and archives by clicking "Open Original".
Откуда этот контент?
Curated from Open Library by the OnSuggest team to surface the most interesting and serendipitous content on the web.
Open Library
Подробнее →
Книга
HBR's 10 must reads on managing yourself
By Peter F. Drucker; Clayton M. Christensen; Daniel Goleman (2010). 2 mentions on Hacker News.
Open Library
Подробнее →
Open Library
Подробнее →
Open Library
Подробнее →
Open Library
Подробнее →
Книга
The Age of AI
By Jason Thacker; Jakob Lewis; Richard J. Mouw (2020). 2 mentions on Hacker News.
Open Library
Подробнее →