GitHub repository: tswilkinson/idris-lens
Primary language: Idris
Description: van Laarhoven lenses for Idris