As part of our interview series, we interviewed Edwin Brady, the creator of Idris, a dependently-typed programming language. 

In the interview, we discussed two of the programming languages Edwin has participated in the creation of: Whitespace and Idris. Edwin also shared some tips and tricks about language creation and talked about the future plans of the Idris language. 

This is an audio-only version of the interview. You can watch the original on our YouTube channel: https://www.youtube.com/watch?v=_prvbd0e_pI

FP merch that doesn't suck: https://shop.serokell.io/



Read highlights on Serokell Blog: https://serokell.io/blog/from-whitespace-to-idris

Follow on social media: 

https://twitter.com/edwinbrady

https://twitter.com/serokell

Learn more about us: 

https://serokell.io/

Contact us: 

academy@serokell.io