GitPlanet
Projects
Users
Categories
Languages
About
Cheap and reliable Node.js hosting starts at $3/month, and $1/month static HTML hosting
Created with love in Canada, visit
hostnodejs.com
today
Feel like to post an Ad?
Learn Details
All Projects
→
HuwCampbell
→
idris-lens
HuwCampbell /
idris-lens
Licence: BSD-3-Clause License
van Laarhoven lenses for Idris
Stars: ✭ 21
Visit Git Page
Visit User Page
Visit Issues Page (1)
Programming Languages
Idris
72 projects
Idris Lens
Small port of Control.Lens to Idris
Note that the project description data, including the texts, logos, images, and/or trademarks, for each open source project belongs to its rightful owner. If you wish to add or remove any projects, please contact us at
[email protected]
.
Stars: ✭ 21
Visit Git Page 🔗
Visit User Page 🔗
Visit Issues Page (1) 🔗