User Tools

Site Tools


the_zipper

The Zipper

“Zipper is a very handy Data Structure that lets us replace an item deep in a complex data structure, e.g., a tree or a term, without any mutation.” –Oleg Kiselyov

the_zipper.txt · Last modified: 2007/07/11 16:34 by nik