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.
- Website: https://github.com/HuwCampbell/idris-lens
- License: Modified BSD
- Package source: idris.scm
- Patches: None
- Builds: x86_64-linux, i686-linux