<ul><li><a target="_blank" href="https://github.com/milessabin/shapeless">shapeless</a></li><li><a target="_blank" href="https://youtu.be/WsA7GtUQeB8">Applied Category Theory and Abstract Algebra</a> - Gabriel Gonzales</li><li><a target="_blank" href="http://eta-lang.org/">Eta</a></li><li><a target="_blank" href="https://github.com/slamdata/matryoshka">matryoshka</a></li><li><a target="_blank" href="https://www.infoq.com/presentations/scala-idris">Scala vs Idris: Dependent Types, Now and in the Future</a></li><li><a target="_blank" href="https://www.stackage.org/package/persistent">persistent</a></li><li><a target="_blank" href="https://www.stackage.org/package/esqueleto">esqueleto</a></li><li><a target="_blank" href="https://www.stackage.org/package/opaleye">opaleye</a></li><li><a target="_blank" href="https://postgrest.com/">PostgREST</a></li><li><a target="_blank" href="https://github.com/rails/arel">Arel</a></li><li><a target="_blank" href="https://martinfowler.com/bliki/CQRS.html">CQRS</a></li><li><a target="_blank" href="http://sqitch.org/">Sqitch</a></li><li><a target="_blank" href="https://neo4j.com/">Neo4j</a></li><li><a target="_blank" href="https://github.com/tpolecat/doobie">doobie</a></li><li><a target="_blank" href="http://lambdaconf.us/events/2017/lcusc.html#integrating-purescript-and-halogen-into-javascript-applications">Integrating PureScript and Halogen Into JavaScript Applications</a></li><li><a target="_blank" href="http://lambdaconf.us/events/2017/lcusc.html#how-to-build-a-blog-in-10-minutes-with-hyper">How to Build a Blog in 10 Minutes with Hyper</a></li></ul>

shapelessApplied Category Theory and Abstract Algebra - Gabriel GonzalesEtamatryoshkaScala vs Idris: Dependent Types, Now and in the FuturepersistentesqueletoopaleyePostgRESTArelCQRSSqitchNeo4jdoobieIntegrating PureScript and Halogen Into JavaScript ApplicationsHow to Build a Blog in 10 Minutes with Hyper

<ul><li><a href="https://github.com/milessabin/shapeless" rel="noopener noreferrer">shapeless</a></li><li><a href="https://youtu.be/WsA7GtUQeB8" rel="noopener noreferrer">Applied Category Theory and Abstract Algebra</a> -&nbsp;Gabriel Gonzales</li><li><a href="http://eta-lang.org/" rel="noopener noreferrer">Eta</a></li><li><a href="https://github.com/slamdata/matryoshka" rel="noopener noreferrer">matryoshka</a></li><li><a href="https://www.infoq.com/presentations/scala-idris" rel="noopener noreferrer">Scala vs Idris: Dependent Types, Now and in the Future</a></li><li><a href="https://www.stackage.org/package/persistent" rel="noopener noreferrer">persistent</a></li><li><a href="https://www.stackage.org/package/esqueleto" rel="noopener noreferrer">esqueleto</a></li><li><a href="https://www.stackage.org/package/opaleye" rel="noopener noreferrer">opaleye</a></li><li><a href="https://postgrest.com/" rel="noopener noreferrer">PostgREST</a></li><li><a href="https://github.com/rails/arel" rel="noopener noreferrer">Arel</a></li><li><a href="https://martinfowler.com/bliki/CQRS.html" rel="noopener noreferrer">CQRS</a></li><li><a href="http://sqitch.org/" rel="noopener noreferrer">Sqitch</a></li><li><a href="https://neo4j.com/" rel="noopener noreferrer">Neo4j</a></li><li><a href="https://github.com/tpolecat/doobie" rel="noopener noreferrer">doobie</a></li><li><a href="http://lambdaconf.us/events/2017/lcusc.html#integrating-purescript-and-halogen-into-javascript-applications" rel="noopener noreferrer">Integrating PureScript and Halogen Into JavaScript Applications</a></li><li><a href="http://lambdaconf.us/events/2017/lcusc.html#how-to-build-a-blog-in-10-minutes-with-hyper" rel="noopener noreferrer">How to Build a Blog in 10 Minutes with Hyper</a></li></ul>

Oops QED

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

Share Oops QED

Sign up to save your podcasts

Oops QED

Oops QED