43:23Edwin Brady - Idris 2: Type-driven development of Idris | Code Mesh LDN 18Code Sync19.7K viewsView & Download
38:50Dependent Type Driven Program Synthesis in Idris | Edwin Brady | Code Mesh V 2020Code Sync3.1K viewsView & Download
46:31Edwin Brady - Type-driven Development of Communicating Systems in IdrisErlang Solutions1.3K viewsView & Download
45:52Introduction to type driven development in Idris - Marco PeroneNoSlidesConf1.1K viewsView & Download
31:07Silent Infrastructure: How Privacy-First SDKs Quietly Shape the Future of Global-Scale Mobile AppsDevoxx UK30 viewsView & Download
25:03Inside the Secure Enclave: 13 Years of iPhone Hardware Security ExplainedKandi Brian16 viewsView & Download
2:24:01Dan's office hours - July 13, 2019 - Introduction to Idris - programming typesDivvyDAO: Colab, RChain, DigLife,66 viewsView & Download
43:26"Put A Type On It: Idris Type Providers for AWS Resources" by Susan PotterStrange Loop Conference2.6K viewsView & Download
58:31SE-Radio Episode 296: Type Driven Development with Edwin BradyIEEEComputerSociety85 viewsView & Download