• New
  • Learn
  • Snippets
  • Meta
    • News
    • About
    • API Docs
    • Source Code
  • Account
    • Register
    • Login

Best books for learning Idris

Type-Driven Development with Idris

Gentle Introduction to Dependent Types with Idris