Skip to content

Instantly share code, notes, and snippets.

@gnidan

gnidan/gist:9576956

Last active August 29, 2015 13:57
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save gnidan/9576956 to your computer and use it in GitHub Desktop.
Save gnidan/9576956 to your computer and use it in GitHub Desktop.
Download ZIP
generating random tree zippers with quickcheck
Raw
gistfile1.txt
"-64431"
|
-------------------------
/ \
"13169" "-50918"
| |
--------------------- --
/ \ / \
"60088" "50455" ∅ ∅
| |
-------------- ------
/ \ / \
∅ "-14778" "-23099" ∅
| |
------------ --
/ \ / \
" >>48103<< " "-34027" ∅ ∅
| |
-- --
/ \ / \
∅ ∅ ∅ ∅
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment