Type-driven Development with Idris - Edwin Brady

DESCRIPTION Types are often seen as a tool for checking errors, with the programmer writing a…