5 May 2022
Existential optics
A presentation of an alternative encoding for optics such as lenses and prisms using existential types.
optics
15 April 2021
Arrows, through a different lens
How to use lenses and other optics within an Arrow-based framework.