TY - RPRT TI - Delta lenses as coalgebras for a comonad AU - Bryce Clarke PY - 2022 UR - https://arxiv.org/abs/2108.00390 ID - 2108.00390 ER -