Podcast 002 - Craig Stuntz on Idris
Craig Stuntz talks about an Incredibly Strange Programming Language: Idris.
Show notes:
- Craig's slides for Incredibly Strange Programming Languages
- Stir Trek conference
- The Sapir-Whorf hypothesis
- Type-Driven Development With Idris, by Edwin Brady
- TDD (Test Driven Development). If you've never heard of that, check out Kent Beck's seminal book, Test Driven Development: By Example.
- Improving Enterprises
- Papers We Love - Columbus
- Craig Stuntz's blog
- Craig Stuntz on Twitter
Want to be on the next episode? You can! All you need is the willingness to talk about something technical.
Theme music is "Crosscutting Concerns" by The Dirty Truckers, check out their music on Amazon or iTunes.
