search

well-typed / optics

Optics as an abstract interface
374 stars 24 forks source link

Define Append canonically #503

Closed phadej closed 10 months ago

phadej commented 10 months ago

it's not a workhorse for composition, so no need to have an extra equation