Closed HeinrichApfelmus closed 5 months ago
This pull request adds to and polishes the documentation for the delta-types package.
delta-types
This pull request also adds an instance Delta (Endo a).
instance Delta (Endo a)
ADP-2565
This pull request adds to and polishes the documentation for the
delta-types
package.This pull request also adds an
instance Delta (Endo a)
.Issue number
ADP-2565