natural-transformation topic

List natural-transformation repositories

LensAlgebra

17
Stars
1
Forks
Watchers

Towards Optic-Based Algebraic Theories: the Case of Lenses

verified publisher icon hablapps