Books [Edwin Brady] Type-driven Development with Idris

[tttx]

​

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:

Авторизуйтесь, чтобы посмотреть скрытый контент