HuwCampbell / idris-lensLinks
van Laarhoven lenses for Idris
☆20Updated 8 years ago
Alternatives and similar repositories for idris-lens
Users that are interested in idris-lens are comparing it to the libraries listed below
Sorting:
Users that are interested in idris-lens are comparing it to the libraries listed below