![Cross Cutting Concerns Podcast artwork](https://is2-ssl.mzstatic.com/image/thumb/Podcasts113/v4/d9/9e/81/d99e81ad-7dc7-20e1-0331-952579c1ebcb/mza_6407067253087496247.png/100x100bb.jpg)
Podcast 002 - Craig Stuntz on Idris
Cross Cutting Concerns Podcast
English - June 20, 2016 01:00 - 20 minutes - 28.1 MB - ★★★★★ - 3 ratingsTechnology Education How To computer programming software technology lightning talks Homepage Download Apple Podcasts Google Podcasts Overcast Castro Pocket Casts RSS feed
Previous Episode: Podcast 001 - Jon Plante on BEM
Next Episode: Podcast 003 - Dave Glick on wyam
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.