Type-driven development with Idris

Resource history | v1 (current) | created by jjones

Details

Type-driven development with Idris

| created by jjones | Add resource "Type-driven development with Idris"
Title
Type-driven development with Idris
Type
Book
Created
2017-03
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.
Link
https://www.manning.com/books/type-driven-development-with-idris
Identifier
9781617293023

authors

This resource has no history of related authors.

topics

about Type system
v1 | attached by jjones | Add resource "Type-driven development with Idris"
about Idris
v1 | attached by jjones | Add topic "Idris"

resources

recommended by F* Tutorial
v1 | attached by jjones | Edit resource "F* Tutorial"