Skip to main content

Podcast 002 - Craig Stuntz on Idris

June 20, 2016 mgroves 0 Comments
Tags: podcast idris

Craig Stuntz talks about an Incredibly Strange Programming Language: Idris.

Show notes:

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.

Comments

Matthew D. Groves

About the Author

Matthew D. Groves lives in Central Ohio. He works remotely, loves to code, and is a Microsoft MVP.

Latest Comments

Twitter