GitHub repository: HuwCampbell/idris-lens
Primary language: Idris
Created: 2016-05-19T07:44:16Z
Description: van Laarhoven lenses for Idris