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.
- Webauftritt: https://github.com/HuwCampbell/idris-lens
- Lizenz: Modified BSD
- Paketquellcode: idris.scm
- Patches: Keine
- Erstellungen: x86_64-linux, i686-linux