Skip to content

Instantly share code, notes, and snippets.

@nrolland

nrolland/gist:3731734

Created September 16, 2012 09:23
Show Gist options
  • Save nrolland/3731734 to your computer and use it in GitHub Desktop.
Save nrolland/3731734 to your computer and use it in GitHub Desktop.
Download ZIP
zipper
Raw
gistfile1.fs
type 'a Zipper = { focus:'a Tree; path: (TDirection * 'a * 'a Tree) list}
type ZDirection = Up | Left | Right
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment