linear

Profunctor optics for linear types.

Loosely based on a paper of Pickering, Gibbons, and Wu.

Building

Requires blodwen to be installed.

Contents

Lovingly provided by polyglot:

-------------------------------------------------------------------------------
 Language             Files       Lines         Code     Comments       Blanks
-------------------------------------------------------------------------------
 Bash                     1           6            2            2            2
 Blodwen                  6         146           89           20           37
 iPKG                     1           8            7            0            1
 Makefile                 1           7            5            0            2
 Markdown                 1          27           20            0            7
-------------------------------------------------------------------------------
 Total                   10         194          123           22           49
-------------------------------------------------------------------------------