Towards Optic-Based Algebraic Theories: the Case of Lenses
-
Updated
Nov 26, 2018 - Coq
Towards Optic-Based Algebraic Theories: the Case of Lenses
Programming in a tagless-final style, naturally
This repository is a curated collection of Category Theory resources, notes, and proofs formatted in LaTeX.
Computer Scientist Degree - Thesis Work
Polymorphic functions as natural transformations.
Add a description, image, and links to the natural-transformation topic page so that developers can more easily learn about it.
To associate your repository with the natural-transformation topic, visit your repo's landing page and select "manage topics."