λ-llama submission for ICFP contest 2016
$ opam install core_kernel ppx_deriving oasis
$ ocaml setup.ml -all
$ cd visualize
$ python -m http.server
$ cd visualize
$ rm out/* && python to_js.py < problems/problem101.txt
Afterwards you can see correct folding sequence and not-finished-yet unfolding procedure.