Genericize the Lens implementation

Aperta

#38 aperta il 19/4/2023 0 commenti 0 reazioni 0 assegnatari Vedi su GitHub

good first issue

Descrizione

We should be able to do lenses in any cartesian category (and conversely, prisms in any cocartesian category).

Note that this would build off the current lens pull request. This might also involve addressing #29.

Nessuna guida per i contributori indicizzata per questo repository

Questa issue non è ancora stata valutata.