Media Summary: This video was recorded at Code Mesh V 2020 - Dependent Type Driven ... Dependent types turn types into a first-class Code Mesh London is the best place in Europe for non-mainstream tech and
Idris Programming Language - Detailed Analysis & Overview
This video was recorded at Code Mesh V 2020 - Dependent Type Driven ... Dependent types turn types into a first-class Code Mesh London is the best place in Europe for non-mainstream tech and For when it's not enough that it type checks... Speaker: Dr Edwin Brady London Haskell user group. 22nd January 2014. Background at Speaker: Dr. Edwin Brady - University of St. Andrews
As part of our interview series, we interviewed Edwin Brady, the creator of Since 2008, he has been designing and implementing the
![[WITS'24] Yaffle: A New Core for Idris 2](https://i.ytimg.com/vi/_ApsEm2t6UY/mqdefault.jpg)
