Medaka: Advanced Topics
8 chapters. Start at the top, or jump in anywhere.
- Advanced Topics
- Effects I: What the Row Says
- Effects II: Effect Polymorphism
- Effects III: Labels, Manifests, and the Host
- Effects IV: Parameters and Authority
- Effects V: Authority in Data
- Effects VI: Effect-Indexed Types
- Effects VII: Reference and Open Edges