3 ms·
True, I should have been more precise. The zipper just is a technique for using one-hole contexts to make a path as you drill through a recursive type.
by tel 12y ago
True, I should have been more precise. The zipper just is a technique for using one-hole contexts to make a path as you drill through a recursive type.