Title: Type-driven Development with Idris
Subjects: Programming languages (electronic computers), Computer programming