Lens: Lenses, Folds and Traversals
Lens: Lenses, Folds, and Traversals This package provides families of lenses, isomorphisms, folds, traversals, getters and setters. If you are looking for where to get started, a crash course video on how lens was constructed and how to use the basics is available on youtube. It is best watched in high definition to see the slides, but the slides are also available if you want to use them to follow along. The FAQ, which provides links to a large number of different resources for learning abou