Show notes
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
Learn more about us:
Contact us: