Type-Driven Development with Idris - где взять?
Нашел где-то djvu, а он не открывается. наверное специально так сделали, чтобы с файлопомойки скачивали больше.
Я так понял, что нигде еще нет, кроме как в магазинах.
Если у кого есть, поделитесь.
Пока на собственное сообщение не было ответов, его можно удалить.