Online conference February 19-20. Learn more!

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.