Blog: Idris

Functional Futures: Dependent Types with David ChristiansenFunctional Futures: Dependent Types with David Christiansen
Haskell in Production: Channable thumbnailHaskell in Production: Channable thumbnail
From Whitespace to Idris: Interview With Edwin BradyFrom Whitespace to Idris: Interview With Edwin Brady