3 ms·
The derivative of a type is its "zipper", a datatype for representing a "hole" that moves around the data structure. http://strictlypositive.org/diff.pdf http:/
by nwhitehead 11y ago
The derivative of a type is its "zipper", a datatype for representing a "hole" that moves around the data structure.
http://strictlypositive.org/diff.pdf http://strictlypositive.org/diff.pdf