idris-lens 0.1-1.26f0120 Van Laarhoven lenses for Idris

Lenses are composable functional references. They allow accessing and modifying data within a structure.