Type-Driven Development with Idris appears in 1 book list

By Edwin Brady,

Type-Driven Development with Idris appears in 1 book list on Shepherd.

The best books to learn to think like a functional programmer

Book cover of Seven Concurrency Models in Seven Weeks: When Threads Unravel Book cover of Elm in Action Book cover of Type-Driven Development with Idris Book cover of Domain Modeling Made Functional: Tackle Software Complexity with Domain-Driven Design and F# Book cover of Learn You A Haskell For Great Good

Want books like Type-Driven Development with Idris?

Our community of 10,000+ authors has personally recommended 48 books like Type-Driven Development with Idris.

Book cover of Domain Modeling Made Functional: Tackle Software Complexity with Domain-Driven Design and F# Book cover of Learn You A Haskell For Great Good Book cover of Elm in Action Book cover of Seven Concurrency Models in Seven Weeks: When Threads Unravel Book cover of Python Distilled Book cover of Effective Java

Browse books like Type-Driven Development with Idris

5 book lists we think you will like!

Interested in programmers, computer programming, and python?

10,000+ authors have recommended their favorite books and what they love about them. Browse their picks for the best books about programmers, computer programming, and python.

Programmers Explore 21 books about programmers
Computer Programming Explore 39 books about computer programming
Python Explore 29 books about python