3 ms·
https://ncatlab.org/nlab/show/lens+%28in+computer+science%29 https://ncatlab.org/nlab/show/lens+%28in+computer+science%29
by wbl 2y ago
https://ncatlab.org/nlab/show/lens+%28in+computer+science%29 https://ncatlab.org/nlab/show/lens+%28in+computer+science%29