Books [Edwin Brady] Type-driven Development with Idris

355-type-driven-development-idris.jpg

DESCRIPTION:

Type-Driven Development with Idris, written by the creator of Idris, teaches you how to improve the performance and accuracy of your programs by taking advantage of a state-of-the-art type system. This book teaches you with Idris, a language designed to support type-driven development.

DOWNLOAD:
 

Обратите внимание

Назад
Сверху