Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

https://github.com/vmchale/linear

blodwen idris lens lenses linear-types profunctor profunctor-optics profunctors

Last synced: about 1 month ago
JSON representation

Linear lenses in Blodwen

Host: GitHub
URL: https://github.com/vmchale/linear
Owner: vmchale
License: bsd-3-clause
Created: 2019-02-02T20:50:01.000Z (almost 6 years ago)
Default Branch: master
Last Pushed: 2019-02-09T00:32:56.000Z (almost 6 years ago)
Last Synced: 2023-03-08T18:58:19.812Z (almost 2 years ago)
Topics: blodwen, idris, lens, lenses, linear-types, profunctor, profunctor-optics, profunctors
Language: Idris
Homepage:
Size: 17.6 KB
Stars: 13
Watchers: 3
Forks: 0
Open Issues: 0