Existential optics - Tweag
A presentation of an alternative encoding for optics such as lenses and prisms using existential types.| www.tweag.io
A presentation of an alternative encoding for optics such as lenses and prisms using existential types.| www.tweag.io
Mathematical object that generalizes the standard notions of sets and functions| en.wikipedia.org
