This repository is now deprecated, please use the version in mirror AFP instead.
Lenses, Prisms, Scenes, and other Optics in Isabelle/HOL
This repository is now deprecated, please use the version in mirror AFP instead.
Lenses, Prisms, Scenes, and other Optics in Isabelle/HOL