Add resource "Type-driven development with Idris" Accepted
Changes: 2
-
Add Type-driven development with Idris
- Title
-
- Unchanged
- Type-driven development with Idris
- Type
-
- Unchanged
- Book
- Created
-
- Unchanged
- 2017-03
- Description
-
- Unchanged
- 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
-
- Unchanged
- https://www.manning.com/books/type-driven-development-with-idris
- Identifier
-
- Unchanged
- 9781617293023
Resource | v1 | current (v1) -
Add Type system treated in Type-driven development with Idris
- Current
- treated in
Topic to resource relation | v1