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 12,000+ authors has personally recommended 52 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?

Programmers 22 books
Computer Programming 43 books
Python 30 books