<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>

elm-constraintFunctional All the Things: A Functional Panel - Forward 4 Web SummitLambda CubeContempt Culture

<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!