Type-Driven Development with Idris - где взять?

	От:	Darooma
	Дата:	26.05.17 05:41
	Оценка:	4 (1)

Нашел где-то djvu, а он не открывается. наверное специально так сделали, чтобы с файлопомойки скачивали больше.

Я так понял, что нигде еще нет, кроме как в магазинах.

Если у кого есть, поделитесь.

Re: Type-Driven Development with Idris - где взять?

	От:	LaptevVV
	Дата:	27.05.17 05:19
	Оценка:

D>Если у кого есть, поделитесь.
http://www.twirpx.com/file/2212927/ — там зарегиться надо.

Хочешь быть счастливым — будь им!
Без булдырабыз!!!

Re[2]: Type-Driven Development with Idris - где взять?

	От:	Darooma
	Дата:	27.05.17 11:58
	Оценка:

Здравствуйте, LaptevVV, Вы писали:

D>>Если у кого есть, поделитесь.
LVV>http://www.twirpx.com/file/2212927/ — там зарегиться надо.

Лаптев!

Переместить
Удалить
Выделить ветку

Пока на собственное сообщение не было ответов, его можно удалить.

Заголовок: