https://github.com/huwcampbell/idris-lens

van Laarhoven lenses for Idris
https://github.com/huwcampbell/idris-lens

Last synced: about 1 month ago
JSON representation

van Laarhoven lenses for Idris

• Host: GitHub
• URL: https://github.com/huwcampbell/idris-lens
• Owner: HuwCampbell
• License: bsd-3-clause
• Created: 2016-05-19T07:44:15.000Z (over 8 years ago)
• Default Branch: master
• Last Pushed: 2017-09-25T05:25:05.000Z (about 7 years ago)
• Last Synced: 2023-08-20T07:32:39.892Z (about 1 year ago)
• Language: Idris
• Size: 28.3 KB
• Stars: 21
• Watchers: 7
• Forks: 8
• Open Issues: 1

Awesome Lists containing this project