↓
[Tang2023b] Soundly Handling Linearity
..
This page is also available via Gemini at gemini://dcreager.net/types/effects.gmi
