Open olynch opened 1 year ago
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.
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.