Closed vojkog closed 1 year ago
(D, \Delta_x]
https://github.com/BartoszMilewski/DaoFP/blob/c84bf5ed0fa45c5f29ab38aacb32797ba8cac63b/9-NaturalTransformations.tex#L681
Thanks, fixed.
Done
(D, \Delta_x]
https://github.com/BartoszMilewski/DaoFP/blob/c84bf5ed0fa45c5f29ab38aacb32797ba8cac63b/9-NaturalTransformations.tex#L681