Hacking dependent lenses as mixed optics

Last updated Feb 3, 2024

Tags: Dependent lenses