Oops QED
/- 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