4 ms·
However, regular types do: "The Derivative of a Regular Type is its Type of One-Hole Contexts" [0] http://strictlypositive.org/diff.pdf http://strictlypositive
by earleybird 4y ago
However, regular types do: "The Derivative of a Regular Type is its Type of One-Hole Contexts"
[0] http://strictlypositive.org/diff.pdf http://strictlypositive.org/diff.pdf