Packages tagged lens

19 packages have this tag.

[Merge tag] (trustees only)

Related tags: library (19), bsd3 (14), generics (7), data (5), records (5), dependent-types (2), gpl (2), mit (2), composite (1), database (1), optics (1), overloadelabels (1), ...