Go offline with the Player FM app!
Oops QED
Archived series ("Inactive feed" status)
When? This feed was archived on September 17, 2022 17:34 (). Last successful fetch was on December 15, 2020 18:14 ()
Why? Inactive feed status. Our servers were unable to retrieve a valid podcast feed for a sustained period.
What now? You might be able to find a more up-to-date version using the search function. This series will no longer be checked for updates. If you believe this to be in error, please check if the publisher's feed link below is valid and contact support to request the feed be restored or if you have any other concerns about this.
Manage episode 174082227 series 1195684
- shapeless
- Applied Category Theory and Abstract Algebra - Gabriel Gonzales
- Eta
- matryoshka
- Scala vs Idris: Dependent Types, Now and in the Future
- persistent
- esqueleto
- opaleye
- PostgREST
- Arel
- CQRS
- Sqitch
- Neo4j
- doobie
- Integrating PureScript and Halogen Into JavaScript Applications
- How to Build a Blog in 10 Minutes with Hyper
102 episodes
Archived series ("Inactive feed" status)
When? This feed was archived on September 17, 2022 17:34 (). Last successful fetch was on December 15, 2020 18:14 ()
Why? Inactive feed status. Our servers were unable to retrieve a valid podcast feed for a sustained period.
What now? You might be able to find a more up-to-date version using the search function. This series will no longer be checked for updates. If you believe this to be in error, please check if the publisher's feed link below is valid and contact support to request the feed be restored or if you have any other concerns about this.
Manage episode 174082227 series 1195684
- shapeless
- Applied Category Theory and Abstract Algebra - Gabriel Gonzales
- Eta
- matryoshka
- Scala vs Idris: Dependent Types, Now and in the Future
- persistent
- esqueleto
- opaleye
- PostgREST
- Arel
- CQRS
- Sqitch
- Neo4j
- doobie
- Integrating PureScript and Halogen Into JavaScript Applications
- How to Build a Blog in 10 Minutes with Hyper
102 episodes
All episodes
×Welcome to Player FM!
Player FM is scanning the web for high-quality podcasts for you to enjoy right now. It's the best podcast app and works on Android, iPhone, and the web. Signup to sync subscriptions across devices.