You write Idris? Prove it!
 
 Brian Lonsdorf & Hardy Jones
 
 
 
 
 
 
 
 <a href="http://traffic.libsyn.com/magicreadalong/s01e06.mp3" download="You write Idris? Prove it!" class="download" target="_blank">Download</a>
 
 
 
 
 
 



 <ul dir="ltr"><li><a target="_blank" href="http://package.elm-lang.org/packages/joneshf/elm-constraint/1.1.0/">elm-constraint</a></li><li><a target="_blank" href="https://youtu.be/re4oOOkqs3E">Functional All the Things: A Functional Panel - Forward 4 Web Summit</a></li><li><a target="_blank" href="https://en.wikipedia.org/wiki/Lambda_cube">Lambda Cube</a></li><li><a target="_blank" href="http://blog.aurynn.com/contempt-culture">Contempt Culture</a></li></ul>

You write Idris? Prove it! Brian Lonsdorf & Hardy Jones Download elm-constraintFunctional All the Things: A Functional Panel - Forward 4 Web SummitLambda CubeContempt Culture

You write Idris? Prove it!
 
 Brian Lonsdorf &amp; Hardy Jones
 
 
 
 
 
 
 
 <a href="http://traffic.libsyn.com/magicreadalong/s01e06.mp3" rel="noopener noreferrer">Download</a>
 
 
 
 
 
 



 <ul><li><a href="http://package.elm-lang.org/packages/joneshf/elm-constraint/1.1.0/" rel="noopener noreferrer">elm-constraint</a></li><li><a href="https://youtu.be/re4oOOkqs3E" rel="noopener noreferrer">Functional All the Things: A Functional Panel - Forward 4 Web Summit</a></li><li><a href="https://en.wikipedia.org/wiki/Lambda_cube" rel="noopener noreferrer">Lambda Cube</a></li><li><a href="http://blog.aurynn.com/contempt-culture" rel="noopener noreferrer">Contempt Culture</a></li></ul>

You write Idris? Prove it!

Follow along with Brian Lonsdorf and Hardy Jones as they explore the internet, life, and programming.

Share You write Idris? Prove it!

Sign up to save your podcasts

You write Idris? Prove it!

You write Idris? Prove it!

More shows like Magic Read Along

Oxide and Friends