Type-driven Development with Idris

KEY FEATURES

• Written by the creator of Idris

• Improve performance and accuracy of programs

• Teaches Idris, a new type-driven development language

• Hands-on code examples

• Build real-world software

AUDIENCE

Written for programmers with knowledge of basic functional programming

concepts.